Përdorimi global për "Skeda: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.
Përdorimi në ar.wikipedia.org
Përdorimi në az.wikipedia.org
Përdorimi në ca.wikipedia.org
Përdorimi në cs.wikipedia.org
Përdorimi në da.wikipedia.org
Përdorimi në de.wikipedia.org
Përdorimi në 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
