चित्र:OCaml Logo.svg
पूर्वावलोकन PNG का आकार SVG फ़ाइल: 525 × 144 पिक्सेल दूसरे रेसोल्यूशन्स: 320 × 88 पिक्सेल | 640 × 176 पिक्सेल | 1,024 × 281 पिक्सेल | 1,280 × 351 पिक्सेल | 2,560 × 702 पिक्सेल।
मूल चित्र (SVG फ़ाइल, साधारणतः 525 × 144 पिक्सेल, फ़ाइल का आकार: 12 KB)
चित्र का इतिहास
फ़ाइलका पुराना अवतरण देखने के लिये दिनांक/समय पर क्लिक करें।
दिनांक/समय | थंबनेल | आकार | सदस्य | प्रतिक्रिया | |
---|---|---|---|---|---|
वर्तमान | 18:13, 29 जनवरी 2015 | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
चित्र का उपयोग
इस चित्र से कोई पन्ने नहीं जुड़ते
चित्र का वैश्विक उपयोग
इस चित्र का उपयोग इन दूसरे विकियों में किया जाता है:
- 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)
इस चित्र के वैश्विक उपयोग की अधिक जानकारी देखें।