استخدام "ملف: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)