שימוש גלובלי בקובץ "קובץ: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)