Global usage for "Faili: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.
Matumizi kwa ar.wikipedia.org
Matumizi kwa az.wikipedia.org
Matumizi kwa ca.wikipedia.org
Matumizi kwa cs.wikipedia.org
Matumizi kwa da.wikipedia.org
Matumizi kwa de.wikipedia.org
Matumizi kwa 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)