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 page uses this file:
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 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)
View more global usage of this file.
