File:OCaml_Logo.svg
From Wikipedia, the free encyclopedia
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
DescriptionOCaml Logo.svg |
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 InfoField | This vector image was created with Adobe Illustrator. |
Licensing
Public domainPublic domainfalsefalse |
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. Public domainPublic domainfalsefalse |
Items portrayed in this file
depicts
4 April 2014
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 meta.wikimedia.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
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
If the file has been modified from its original state, some details may not fully reflect the modified file.
Width | 524.819px |
---|---|
Height | 144.277px |
Retrieved from "https://en.wikipedia.org/wiki/File:OCaml_Logo.svg"