Fichier:OCaml Logo.svg
Taille de cet aperçu PNG pour ce fichier SVG : 525 × 144 pixels. Autres résolutions : 320 × 88 pixels | 640 × 176 pixels | 1 024 × 281 pixels | 1 280 × 351 pixels | 2 560 × 702 pixels.
Fichier d’origine (Fichier SVG, nominalement de 525 × 144 pixels, taille : 12 kio)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
| Description |
English: OCaml Logo |
| Date | |
| Source | https://ocaml.org/ |
| Auteur | OCaml.org project |
| Autorisation (Réutilisation de ce fichier) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG information |  Cette image vectorielle a été créée avec Adobe Illustrator |
Conditions d’utilisation
|
Cette œuvre a été placée dans le domaine public par son auteur, INRIA. Ceci s’applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : INRIA accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi.
|
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 29 janvier 2015 à 20:13 | | 525 × 144 (12 kio) | Hexaphixylix | User created page with UploadWizard |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur ar.wikipedia.org
- Utilisation sur az.wikipedia.org
- Utilisation sur ca.wikipedia.org
- Utilisation sur cs.wikipedia.org
- Utilisation sur da.wikipedia.org
- Utilisation sur de.wikipedia.org
- Utilisation sur 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)
Voir davantage sur l’utilisation globale de ce fichier.
