Global anvendelse af "Fil: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.
Anvendelser på ar.wikipedia.org
Anvendelser på az.wikipedia.org
Anvendelser på ca.wikipedia.org
Anvendelser på cs.wikipedia.org
Anvendelser på da.wikipedia.org
Anvendelser på de.wikipedia.org
Anvendelser på 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)