"Dosya:OCaml Logo.svg" için küresel kullanım
Bu sayfa bir dosyanın diğer vikilerde nerede kullanıldığını gösterir. Bu bilgiyi dosya açıklaması sayfasının altında da bulabilirsiniz.
ar.wikipedia.org üzerinde kullanımı
az.wikipedia.org üzerinde kullanımı
ca.wikipedia.org üzerinde kullanımı
cs.wikipedia.org üzerinde kullanımı
da.wikipedia.org üzerinde kullanımı
de.wikipedia.org üzerinde kullanımı
en.wikipedia.org üzerinde kullanımı
- 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)