File:OCaml Logo.svg
Salta a la navegació
Salta a la cerca
Mida d'aquesta previsualització PNG del fitxer SVG: 525 × 144 píxels. Altres resolucions: 320 × 88 píxels | 640 × 176 píxels | 1.024 × 281 píxels | 1.280 × 351 píxels | 2.560 × 702 píxels.
Fitxer original (fitxer SVG, nominalment 525 × 144 píxels, mida del fitxer: 12 Ko)
Llegendes
Llegendes
Afegeix una explicació d'una línia del que representa aquest fitxer
Resum[modifica]
| Descripció |
English: OCaml Logo |
| Data | |
| Font | https://ocaml.org/ |
| Autor | OCaml.org project |
| Permís (Com reutilitzar aquest fitxer) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG genesis |  Aquesta imatge vectorial ha estat creada amb Adobe Illustrator |
Llicència[modifica]
|
S'ha alliberat aquesta obra al domini públic pel seu autor INRIA. Això s'aplica a tot el món. En alguns països això pot no ser legalment possible, en tal cas: INRIA concedeix a tothom el dret d'usar aquesta obra per a qualsevol propòsit, sense cap condició llevat d'aquelles requerides per la llei.
|
Historial del fitxer
Cliqueu una data/hora per veure el fitxer tal com era aleshores.
| Data/hora | Miniatura | Dimensions | Usuari/a | Comentari | |
|---|---|---|---|---|---|
| actual | 18:13, 29 gen 2015 | | 525 × 144 (12 Ko) | Hexaphixylix (discussió | contribucions) | User created page with UploadWizard |
No podeu sobreescriure aquest fitxer.
Ús del fitxer
La pàgina següent utilitza aquest fitxer:
Ús global del fitxer
Utilització d'aquest fitxer en altres wikis:
- Utilització a ar.wikipedia.org
- Utilització a az.wikipedia.org
- Utilització a ca.wikipedia.org
- Utilització a cs.wikipedia.org
- Utilització a da.wikipedia.org
- Utilització a de.wikipedia.org
- Utilització a 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)
Vegeu més usos globals d'aquest fitxer.
