O
OCaml
Projects with this topic
-
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.
Topics: OCamlUpdated -
Static analyzers for higher-order languages
Updated