O
OCaml
Projects with this topic
-
A library of monadic combinators for decoding S-expressions (as defined in the Csexp library) into structured data.
Topics: OCamlUpdated -
Formalization in Coq and Why3 of a theory about weak control dependence
Updated -