Fil:OCaml Logo.svg
Utseende
Storleken för denna PNG-förhandsvisning av denna SVG-fil: 525 × 144 pixlar. Andra upplösningar: 320 × 88 pixlar | 640 × 176 pixlar | 1 024 × 281 pixlar | 1 280 × 351 pixlar | 2 560 × 702 pixlar.
Originalfil (SVG-fil, standardstorlek: 525 × 144 pixlar, filstorlek: 12 kbyte)
Filhistorik
Klicka på ett datum/klockslag för att se filen som den såg ut då.
Datum/Tid | Miniatyrbild | Dimensioner | Användare | Kommentar | |
---|---|---|---|---|---|
nuvarande | 29 januari 2015 kl. 20.13 | 525 × 144 (12 kbyte) | Hexaphixylix | User created page with UploadWizard |
Filanvändning
Inga sidor använder den här filen.
Global filanvändning
Följande andra wikier använder denna fil:
- Användande på ar.wikipedia.org
- Användande på az.wikipedia.org
- Användande på ca.wikipedia.org
- Användande på cs.wikipedia.org
- Användande på da.wikipedia.org
- Användande på de.wikipedia.org
- Användande på 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)
Visa mer globalt användande av denna fil.