OCaml
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Models of computation. An introduction to computability theory
- Certifying properties of an efficient functional program for computing Gröbner bases
- Algorithms for compact letter displays: comparison and evaluation
- A constructive theory of continuous domains suitable for implementation
- Adapting functional programs to higher order logic
- A compact kernel for the calculus of inductive constructions
- Apron
- Coq
- DDDLIB
- Ott
- Braga Method
- Sawja
- SUBSEXPL
- Valigator
- ML
- DrScheme
- Jakarta
- Inheritance in the join calculus.
- ObjectCurry
- TinkerType
- VoDKA
- RealLib
- SafeDpi
- JoCaml
- SafeGen
- VLISP
- SPVT-II
- LOGEN
- SIGNAL
- VESTA
- Functional specification and prototyping with oriented combinatorial maps
- CCSL
- BSPlib
- Tilings as a programming exercise.
- Haskell
- Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9--15, 2000. Advanced lectures
- MWB
- MetaPRL
- Cheddar
- Programming language concepts. With a chapter by Niels Hallenberg
- Dagger
- LETOS
- Experience of improving the BLAST static verification tool
- Proofs of a set of hybrid let-polymorphic type inference algorithms
- Reification by parametricity -- fast setup for proof by reflection, in two lines of \textsc{Ltac}
- Proof pearl: constructive extraction of cycle finding algorithms
- Timbuk
- Inheritance-based subtyping
- FocalTest
- Algorithms and proofs inheritance in the FOC language
- Optimizing nested loops using local CPS conversion
- GHC
- CleGo
- Scala
- Path resolution for nested recursive modules
- SANTE
- ATGen
- LMNtal
- PLplot
- A verified proof checker for higher-order logic
- Browndye
- Macrodox
- SDA
- Implementing hybrid semantics: from functional to imperative
- Improving parity games in practice
- Inferring expected runtimes of probabilistic integer programs using expected sizes
- SPEED
- iRRAM
- ForMaRE
- NLCertify
- Pict
- RZ
- Metaphor
- Removing algebraic data types from constrained Horn clauses using difference predicates
- ULM
- Curry
- FreshML
- Polyp
- Panoptes
- MetaOCaml
- OCaml scientific computing. Functional programming in data science and artificial intelligence
- FFT program generation for ring LWE-based cryptography
- Lem
- GC
- Creol
- Herod
- Pilate
- BER MetaOCaml
- Generating C. System description
- Cayenne
- ABC
- CompCert
- cminor
- Sollya
- ASPIER
- libalf
- CryptoVerif
- BULL
- LETHAL
- MikiBeta
This page was built for software: OCaml
