Plik:OCaml Logo.svg
Wielkość pliku podglądu PNG dla pliku SVG: 525 × 144 pikseli Inne rozdzielczości: 320 × 88 pikseli | 640 × 176 pikseli | 1024 × 281 pikseli | 1280 × 351 pikseli | 2560 × 702 pikseli.
Rozmiar pierwotny (Plik SVG, nominalnie 525 × 144 pikseli, rozmiar pliku: 12 KB)
 | Plik OCaml Logo.svg znajduje się w Wikimedia Commons – repozytorium wolnych zasobów. Dane z jego strony opisu znajdują się poniżej. |
Opis
| Opis |
English: OCaml Logo |
| Data | |
| Źródło | https://ocaml.org/ |
| Autor | OCaml.org project |
| Licencja (Ponowne użycie tego pliku) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG rozwój |  Kod źródłowy tego poprawny.  Ta grafika wektorowa została stworzona za pomocą Adobe Illustrator |
Licencja
|
Ten utwór został udostępniony jako własność publiczna przez jego autora, INRIA. Dotyczy to całego świata. W niektórych krajach może nie być to prawnie możliwe, jeśli tak, to: INRIA zapewnia każdemu prawo do użycia tej pracy w dowolnym celu, bez żadnych ograniczeń, chyba że te ograniczenia są wymagane przez prawo.
|
Historia pliku
Kliknij na datę/czas, aby zobaczyć, jak plik wyglądał w tym czasie.
| Data i czas | Miniatura | Wymiary | Użytkownik | Opis | |
|---|---|---|---|---|---|
| aktualny | 20:13, 29 sty 2015 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Lokalne wykorzystanie pliku
Poniższa strona korzysta z tego pliku:
Globalne wykorzystanie pliku
Ten plik jest wykorzystywany także w innych projektach wiki:
- Wykorzystanie na ar.wikipedia.org
- Wykorzystanie na az.wikipedia.org
- Wykorzystanie na ca.wikipedia.org
- Wykorzystanie na cs.wikipedia.org
- Wykorzystanie na da.wikipedia.org
- Wykorzystanie na de.wikipedia.org
- Wykorzystanie na 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)
Pokaż listę globalnego wykorzystania tego pliku.
