File:OCaml Logo.svg
![File:OCaml Logo.svg](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/OCaml_Logo.svg/525px-OCaml_Logo.svg.png)
此 SVG 檔案的 PNG 預覽的大小:525 × 144 像素。 其他解析度:320 × 88 像素 | 640 × 176 像素 | 1,024 × 281 像素 | 1,280 × 351 像素 | 2,560 × 702 像素。
原始檔案 (SVG 檔案,表面大小:525 × 144 像素,檔案大小:12 KB)
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
日期/時間 | 縮圖 | 尺寸 | 使用者 | 備註 | |
---|---|---|---|---|---|
目前 | 2015年1月29日 (四) 18:13 | ![]() | 525 × 144(12 KB) | Hexaphixylix | User created page with UploadWizard |
檔案用途
下列3個頁面有用到此檔案:
全域檔案使用狀況
以下其他 wiki 使用了這個檔案:
- ar.wikipedia.org 的使用狀況
- az.wikipedia.org 的使用狀況
- ca.wikipedia.org 的使用狀況
- cs.wikipedia.org 的使用狀況
- da.wikipedia.org 的使用狀況
- de.wikipedia.org 的使用狀況
- 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)
檢視此檔案的更多全域使用狀況。