"चित्र:OCaml Logo.svg" का वैश्विक उपयोग
दिखावट
This page shows where a file is used on other wikis. You can also find that information at the bottom of the file description page.
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)
- History of programming languages
- 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