Skeda:OCaml Logo.svg
Size of this PNG preview of this SVG file: 525 × 144 pixel. Rezolucione të tjera: 320 × 88 pixel | 640 × 176 pixel | 1.024 × 281 pixel | 1.280 × 351 pixel | 2.560 × 702 pixel.
Dokument origjinal (skedë SVG, fillimisht 525 × 144 pixel, madhësia e skedës: 12 KB)
|
Kjo skedë është prej Wikimedia Commons dhe mund të përdoret nga projekte të tjera. Përshkrimi në këtë skedë në këtë faqe nuk është treguar më poshtë. | 
|
Shko tek faqja përshkruese në Commons |
Përmbledhje
| Përshkrimi |
English: OCaml Logo |
| Data | |
| Burimi | https://ocaml.org/ |
| Autori | OCaml.org project |
| Leja (Ripërdor këtë skedë) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG genesis |  This vector image was created with Adobe Illustrator. |
Licencim
|
Kjo skedë është lëshuar në public domain nga autori i saj, INRIA. Kjo aplikohet në të gjithë botën. Në disa vende kjo mund të mos jetë e mundur ligjërisht; nëse është kështu: INRIA i garanton çdokujt të drejtën për ta përdorur këtë punë për çdo qëllim, pa asnjë kusht, përveç rasteve kur këto kushte janë të kërkuara nga ligji.
|
Historiku skedës
Shtypni mbi një datë/kohë për ta parë skedën siç ishte atëherë.
| Data/Koha | Miniaturë | Përmasat | Përdoruesi | Koment | |
|---|---|---|---|---|---|
| e tanishme | 29 janar 2015 19:13 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Lidhje skedash
Këto faqe lidhen tek kjo skedë:
Përdorimi global i skedës
Kjo skedë përdoret nga Wiki të tjera në vijim:
- Përdorimi në ar.wikipedia.org
- Përdorimi në az.wikipedia.org
- Përdorimi në ca.wikipedia.org
- Përdorimi në cs.wikipedia.org
- Përdorimi në da.wikipedia.org
- Përdorimi në de.wikipedia.org
- Përdorimi në 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
Shikoni më shumë përdorim global të kësaj skede.
