OCaml
From MaRDI portal
swMATH6363MaRDI QIDQ18489FDOQ18489
Author name not available (Why is that?)
Official website: http://ocaml.org/
Cited In (only showing first 100 items - show all)
- 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?)
- 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
- gMark
- OEuf
- Camelot
- Bedrock
- Amortized Complexity
- Template-Coq
- TiML
- Depth First Search
- PairingHeap
- Skew Heap
- Links
- Splay Tree
- Tortoise Hare
- PADS
- Regexp
- Owl
- Lwt
- JBotSim
- OpenNWA
- Modelbuilder
- LaCasa
- TALx86
- 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
- AtomCaml: first-class atomicity via rollback
- 1ML -- core and modules united (F-ing first-class modules)
- CoCaml: functional programming with regular coinductive types
- Modelbuilder -- an automated general-to-specific modelling tool
This page was built for software: OCaml
