File:OCaml Logo.svg
![File:OCaml Logo.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/OCaml_Logo.svg/525px-OCaml_Logo.svg.png)
Size of this PNG preview of this SVG file: 525 × 144 pixels. Other resolutions: 320 × 88 pixels | 640 × 176 pixels | 1,024 × 281 pixels | 1,280 × 351 pixels | 2,560 × 702 pixels.
Original file (SVG file, nominally 525 × 144 pixels, file size: 12 KB)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 18:13, 29 January 2015 | ![]() | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
- ATS (programming language)
- Alice (programming language)
- Alt-Ergo
- Astrée (static analysis)
- Caml
- Camlp4
- Christine Paulin-Mohring
- Concurrent ML
- Coq (software)
- Damien Doligez
- Dependent ML
- Don Sannella
- Don Syme
- Eff (programming language)
- Extended ML
- F* (programming language)
- FFTW
- F Sharp (programming language)
- Frama-C
- Frank Pfenning
- Futhark (programming language)
- GeneWeb
- Gérard Huet
- HOL (proof assistant)
- HOL Light
- Haxe
- Isabelle (proof assistant)
- JoCaml
- LEGO (proof assistant)
- Lennart Augustsson
- Logic for Computable Functions
- ML (programming language)
- MLton
- MTASC
- MacroML
- Marionnet
- Matita
- OCaml
- Poplog
- Reason (programming language)
- Robin Milner
- SLAM project
- Semgrep
- Simon Thompson (professor)
- Standard ML
- Standard ML of New Jersey
- Steven G. Johnson
- Thierry Coquand
- Twelf
- Ur (programming language)
- Xavier Leroy
- Template:ML programming
Global file usage
The following other wikis use this file:
- Usage on ar.wikipedia.org
- Usage on az.wikipedia.org
- Usage on ca.wikipedia.org
- Usage on cs.wikipedia.org
- Usage on da.wikipedia.org
- Usage on de.wikipedia.org
- Usage on fa.wikipedia.org
- Usage on fr.wikipedia.org
- Usage on fr.wiktionary.org
- Usage on he.wikipedia.org
- Usage on it.wikipedia.org
- Usage on ja.wikipedia.org
- Usage on ko.wikipedia.org
- Usage on ml.wikipedia.org
- Usage on nl.wikipedia.org
- Usage on nn.wikipedia.org
- Usage on no.wikipedia.org
- Usage on pl.wikipedia.org
- Usage on ru.wikipedia.org
- Usage on simple.wikipedia.org
- Usage on uk.wikipedia.org
- Usage on www.wikidata.org
- Usage on zh.wikipedia.org