Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: Moca


Mocac is a generator of construction functions for Caml concrete data types with algebraic invariants and maximal sharing facilities. Algebraic invariants are specified by using keywords denoting equational theories like commutativity and associativity. The construction functions generated by Mocac allow each equivalence class to be represented by a unique value.
Homepage ]
Author:Frédéric Blanqui and Pierre Weis.
Last modification date:18-Jun-2012
Development status:Beta
Kind: Development tools
License: Open Source :: QPL
Topic: Software development :: Code generators
General purpose libraries :: Data structures