OCaml
Projects with this topic
-
Abstract domain for function graphs, and fixpoint solvers based on them
Updated -
A library that implements dependent (heterogeneous) immutable maps
Updated -
Formalization in Coq and Why3 of a theory about weak control dependence
Updated -
A library of monadic combinators for decoding S-expressions (as defined in the Csexp library) into structured data.
Updated