File:OCaml Logo.svg
Dimensioni di questa anteprima PNG per questo file SVG: 525 × 144 pixel. Altre risoluzioni: 320 × 88 pixel | 640 × 176 pixel | 1 024 × 281 pixel | 1 280 × 351 pixel | 2 560 × 702 pixel.
File originale (file in formato SVG, dimensioni nominali 525 × 144 pixel, dimensione del file: 12 KB)
 |
Questo file e la sua pagina di descrizione (discussione · modifica) si trovano su Wikimedia Commons (?) |
Dettagli
| Descrizione |
English: OCaml Logo |
| Data | |
| Fonte | https://ocaml.org/ |
| Autore | OCaml.org project |
| Licenza (Riusare questo 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 sviluppo |  Questa grafica vettoriale è stata creata con Adobe Illustrator. |
Licenza
|
Quest'opera è stata rilasciata nel pubblico dominio dal suo autore, INRIA. Questa norma si applica in tutto il mondo. In alcuni paesi questo potrebbe non essere legalmente possibile. In tal caso: INRIA garantisce a chiunque il diritto di utilizzare quest'opera per qualsiasi scopo, senza alcuna condizione, a meno che tali condizioni siano richieste dalla legge.
|
Cronologia del file
Fare clic su un gruppo data/ora per vedere il file come si presentava nel momento indicato.
| Data/Ora | Miniatura | Dimensioni | Utente | Commento | |
|---|---|---|---|---|---|
| attuale | 19:13, 29 gen 2015 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Pagine che usano questo file
La seguente pagina usa questo file:
Utilizzo globale del file
Anche i seguenti wiki usano questo file:
- Usato nelle seguenti pagine di ar.wikipedia.org:
- Usato nelle seguenti pagine di az.wikipedia.org:
- Usato nelle seguenti pagine di ca.wikipedia.org:
- Usato nelle seguenti pagine di cs.wikipedia.org:
- Usato nelle seguenti pagine di da.wikipedia.org:
- Usato nelle seguenti pagine di de.wikipedia.org:
- Usato nelle seguenti pagine di 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)
- History of programming languages
- 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
Visualizza l'utilizzo globale di questo file.
