swMATH6363MaRDI QIDQ18489FDOQ18489
Author name not available (Why is that?)
Official website: http://ocaml.org/
Cited In (only showing first 100 items - show all)
- Semantic essence of AsmL
- Lem: reusable engineering of real-world semantics
- Fiat: deductive synthesis of abstract data types in a proof assistant
- Chapar: certified causally consistent distributed key-value stores
- A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
- Eliom: A Core ML Language for Tierless Web Programming
- Slothrop: Knuth-Bendix Completion with a Modern Termination Checker
- Title not available (Why is that?)
- CFML
- DynaMoW
- criterion
- ASTREE
- effects
- Frank
- Freja
- HyLoTab
- Hood
- mtl
- pipes
- Scapy
- PrologCheck
- NFLlib
- MLton
- KIDS
- Featherweight Java
- ProBE
- Jif
- Haskabelle
- Camlp4
- PATRICIA
- YAKKER
- VMlambda
- Using camlp4 for presenting dynamic mathematics on the web
- HALO
- Grail
- ACE
- Eliom
- Ocsigen
- KJS
- Java Jr
- Koka
- HOL90
- 1ML
- GigaVoxels
- SML#
- Fiat
- Forsythe
- MoCHi
- MathComp.tuple
- OCaml-Java
- LinqOptimizer
- RAML
- ScalaBlitz
- BSMLlib
- MGS
- PLAN
- Ssreflect.fintype
- WorkflowFM
- Aspectual Caml
- AtomCaml
- Alms
- CoCaml
- Barista
- VACID-0
- DTRE
- EasyOCaml
- GCminor
- Strymonas
- HNT
- foetus
- Eff
- GcPan
- Hazelnut
- Guava
- HimML
- Ilea
- js_of_ocaml
- JNIL
- MixML
- MLCompCert
- LightDP
- Jessie
- ocaml-cyclist
- Finmag
- Pidgin ML
- Opa
- SHErrLoc
- OOMMF
- YATL
- ColorMath
- Terra
- Tycon
- Mono
- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Why does Astrée scale up?
- Panoptes: an exploration tool for formal proofs
- NLCertify: a tool for formal nonlinear optimization
- AtomCaml: first-class atomicity via rollback
- 1ML -- core and modules united (F-ing first-class modules)
- Modelbuilder -- an automated general-to-specific modelling tool
This page was built for software: OCaml
