ملف:OCaml Logo.svg
حجم معاينة PNG لذلك الملف ذي الامتداد SVG: 525 × 144 بكسل. الأبعاد الأخرى: 320 × 88 بكسل | 640 × 176 بكسل | 1٬024 × 281 بكسل | 1٬280 × 351 بكسل | 2٬560 × 702 بكسل.
الملف الأصلي (ملف SVG، أبعاده 525 × 144 بكسل، حجم الملف: 12 كيلوبايت)
تاريخ الملف
اضغط على زمن/تاريخ لرؤية الملف كما بدا في هذا الزمن.
زمن/تاريخ | صورة مصغرة | الأبعاد | مستخدم | تعليق | |
---|---|---|---|---|---|
حالي | 18:13، 29 يناير 2015 | 525 × 144 (12 كيلوبايت) | Hexaphixylix | User created page with UploadWizard |
استخدام الملف
الصفحة التالية تستخدم هذا الملف:
الاستخدام العالمي للملف
الويكيات الأخرى التالية تستخدم هذا الملف:
- الاستخدام في 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)
- Steven G. Johnson
اعرض المزيد من الاستخدام العام لهذا الملف.