پرونده:OCaml Logo.svg
حجم پیشنمایش PNG این SVG file:۵۲۵ × ۱۴۴ پیکسل کیفیتهای دیگر: ۳۲۰ × ۸۸ پیکسل | ۶۴۰ × ۱۷۶ پیکسل | ۱٬۰۲۴ × ۲۸۱ پیکسل | ۱٬۲۸۰ × ۳۵۱ پیکسل | ۲٬۵۶۰ × ۷۰۲ پیکسل.
پروندهٔ اصلی (پروندهٔ اسویجی، با ابعاد ۵۲۵ × ۱۴۴ پیکسل، اندازهٔ پرونده: ۱۲ کیلوبایت)
تاریخچهٔ پرونده
روی تاریخ/زمانها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.
تاریخ/زمان | بندانگشتی | ابعاد | کاربر | توضیح | |
---|---|---|---|---|---|
کنونی | ۲۹ ژانویهٔ ۲۰۱۵، ساعت ۱۸:۱۳ | ۵۲۵ در ۱۴۴ (۱۲ کیلوبایت) | 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)
نمایش استفادههای سراسری از این پرونده.