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 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 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
Metadata
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 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 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