"Fayl:OCaml Logo.svg" üçün qlobal istifadə
Bu səhifə faylın digər vikilərdə harada istifadə edildiyini göstərir. Siz həmçinin bu məlumatı faylın təsviri səhifəsinin altında tapa bilərsiniz.
ar.wikipedia.org layihəsində istifadəsi
az.wikipedia.org layihəsində istifadəsi
ca.wikipedia.org layihəsində istifadəsi
cs.wikipedia.org layihəsində istifadəsi
da.wikipedia.org layihəsində istifadəsi
de.wikipedia.org layihəsində istifadəsi
en.wikipedia.org layihəsində istifadəsi
- 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
