File:OCaml Logo.svg
此 SVG 檔案的 PNG 預覽的大小：525 × 144 像素。 其他解析度：320 × 88 像素 | 640 × 176 像素 | 1,024 × 281 像素 | 1,280 × 351 像素 | 2,560 × 702 像素。
原始檔案 （SVG 檔案，表面大小：525 × 144 像素，檔案大小：12 KB）
摘要
| 描述 |
English: OCaml Logo |
| 日期 | |
| 來源 | https://ocaml.org/ |
| 作者 | OCaml.org project |
| 授權許可 (重用此檔案) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG開發 |
授權條款
|
此作品已由其作者，INRIA，釋出至公有領域。此授權條款在全世界均適用。 這可能在某些國家不合法，如果是的話： INRIA授予任何人有權利使用此作品於任何用途，除受法律約束外，不受任何限制。
|
檔案歷史
點選某个日期/時間檢視對應時刻的檔案。
| 日期/時間 | 縮圖 | 大小 | 使用者 | 備註 | |
|---|---|---|---|---|---|
| 目前 | 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)
- Rocq
- 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
- Fastest Fourier Transform in the West
- 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
檢視此檔案的更多全域使用狀況。
