"파일:OCaml Logo.svg" 파일을 사용하고 있는 모든 위키의 문서 목록
이 문서는 어느 곳에 파일이 다른 위키에서 사용되고 있는지를 표시합니다. 파일 설명 문서의 하단에서도 해당 정보를 볼 수 있습니다.
ar.wikipedia.org에서 이 파일을 사용하고 있는 문서 목록
az.wikipedia.org에서 이 파일을 사용하고 있는 문서 목록
ca.wikipedia.org에서 이 파일을 사용하고 있는 문서 목록
cs.wikipedia.org에서 이 파일을 사용하고 있는 문서 목록
da.wikipedia.org에서 이 파일을 사용하고 있는 문서 목록
de.wikipedia.org에서 이 파일을 사용하고 있는 문서 목록
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)