کاربرد سراسری برای «پرونده:OCaml Logo.svg»
این صفحه نشان میدهد که یک پرونده کجا در ویکیهای دیگر استفاده شده است. شما میتوانید این اطلاعات را در پایین صفحهٔ توضیحات پرونده نیز بیابید.
کاربرد در ar.wikipedia.org
کاربرد در az.wikipedia.org
کاربرد در ca.wikipedia.org
کاربرد در cs.wikipedia.org
کاربرد در da.wikipedia.org
کاربرد در de.wikipedia.org
کاربرد در en.wikipedia.org
- ML (programming language)
- OCaml
- Poplog
- Robin Milner
- Standard ML
- Isabelle (proof assistant)
- HOL (proof assistant)
- Logic for Computable Functions
- F Sharp (programming language)
- Coq (software)
- Extended ML
- MLton
- Xavier Leroy
- Lennart Augustsson
- Standard ML of New Jersey
- Dependent ML
- Concurrent ML
- Twelf
- Camlp4
- SLAM project
- Caml
- MacroML
- Don Sannella
- FFTW
- Damien Doligez
- GeneWeb
- JoCaml
- HOL Light
- Haxe
- MTASC
- Frank Pfenning
- Matita
- Gérard Huet
- ATS (programming language)
- Marionnet
- Frama-C
- Don Syme
- Alice (programming language)
- Astrée (static analysis)
- Thierry Coquand
- LEGO (proof assistant)
- F* (programming language)
- Alt-Ergo
- Ur (programming language)