Bestand:OCaml Logo.svg
Afmetingen van deze voorvertoning van het type PNG van dit SVG-bestand: 525 × 144 pixels Andere resoluties: 320 × 88 pixels | 640 × 176 pixels | 1.024 × 281 pixels | 1.280 × 351 pixels | 2.560 × 702 pixels.
Oorspronkelijk bestand (SVG-bestand, nominaal 525 × 144 pixels, bestandsgrootte: 12 kB)
Bestandsgeschiedenis
Klik op een datum/tijd om het bestand te zien zoals het destijds was.
Datum/tijd | Miniatuur | Afmetingen | Gebruiker | Opmerking | |
---|---|---|---|---|---|
huidige versie | 29 jan 2015 20:13 | 525 × 144 (12 kB) | Hexaphixylix | User created page with UploadWizard |
Bestandsgebruik
Dit bestand wordt op de volgende pagina gebruikt:
Globaal bestandsgebruik
De volgende andere wiki's gebruiken dit bestand:
- Gebruikt op ar.wikipedia.org
- Gebruikt op az.wikipedia.org
- Gebruikt op ca.wikipedia.org
- Gebruikt op cs.wikipedia.org
- Gebruikt op da.wikipedia.org
- Gebruikt op de.wikipedia.org
- Gebruikt op 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
Globaal gebruik van dit bestand bekijken.