File:OCaml Logo.svg
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)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
English: OCaml Logo |
| Date | |
| Source | https://ocaml.org/ |
| Author | OCaml.org project |
| Permission (Reusing this file) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG development |  This vector image was created with Adobe Illustrator. |
Licensing
|
This work has been released into the public domain by its author, INRIA. This applies worldwide. In some countries this may not be legally possible; if so: INRIA grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
|
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 53 pages use this file:
- 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
- History of programming languages
- 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 incubator.wikimedia.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 tr.wikipedia.org
- Usage on uk.wikipedia.org
- Usage on www.wikidata.org
- Usage on zh.wikipedia.org
