Dosya:OCaml Logo.svg
Bu SVG dosyasının PNG önizlemesinin boyutu: 525 × 144 piksel. Diğer çözünürlükler: 320 × 88 piksel | 640 × 176 piksel | 1.024 × 281 piksel | 1.280 × 351 piksel | 2.560 × 702 piksel.
Tam çözünürlük (SVG dosyası, sözde 525 × 144 piksel, dosya boyutu: 12 KB)
 | Bu dosya Wikimedia Commons'ta bulunmaktadır. Dosyanın açıklaması aşağıda gösterilmiştir. Commons, serbest/özgür telifli medya dosyalarının bulundurulduğu depodur. Siz de yardım edebilirsiniz. |
Özet
| Açıklama |
English: OCaml Logo |
| Tarih | |
| Kaynak | https://ocaml.org/ |
| Yazar | OCaml.org project |
| İzin (Bu dosyanın tekrar kullanımı) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG gelişimi |  Bu SVG kaynak kodu geçerlidir.  Bu vektörel grafik Adobe Illustrator ile oluşturuldu. |
Lisanslama
|
Bu iş yazarı INRIA tarafından kamu malı olarak yayınlanmıştır. Bu dünya çapında geçerlidir. Bazı ülkelerde bu yasal olarak mümkün olmayabilir; öyleyse: INRIA, bu işi herhangi bir amaç için, herhangi bir şart olmaksızın, yasalarca gerekli olmadıkça, herkesin kullanmasına izin veriyor.
|
Dosya geçmişi
Dosyanın herhangi bir zamandaki hâli için ilgili tarih/saat kısmına tıklayın.
| Tarih/Saat | Küçük resim | Boyutlar | Kullanıcı | Yorum | |
|---|---|---|---|---|---|
| güncel | 18.13, 29 Ocak 2015 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Dosya kullanımı
Bu görüntü dosyasına bağlanan sayfa yok.
Küresel dosya kullanımı
Aşağıdaki diğer vikiler bu dosyayı kullanır:
- ar.wikipedia.org üzerinde kullanımı
- az.wikipedia.org üzerinde kullanımı
- ca.wikipedia.org üzerinde kullanımı
- cs.wikipedia.org üzerinde kullanımı
- da.wikipedia.org üzerinde kullanımı
- de.wikipedia.org üzerinde kullanımı
- en.wikipedia.org üzerinde kullanımı
- 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)
Bu dosyanın daha fazla küresel kullanımını görüntüle.
