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)
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 à 19: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.wiki.x.io
- Utilisation sur az.wiki.x.io
- Utilisation sur ca.wiki.x.io
- Utilisation sur cs.wiki.x.io
- Utilisation sur da.wiki.x.io
- Utilisation sur de.wiki.x.io
- Utilisation sur en.wiki.x.io
- 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
Voir davantage sur l’utilisation globale de ce fichier.