This code is a compiler for a simple variant of ML language and is intended to be the base for the implementation of 
the paper titled "Reconstructing security types for automated policy enforcement in FABLE".

The initial code borrowed from ocaml: http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html

This code is released under GPL terms plus any restriction imposed by http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html

Hope you enjoy this and find it useful!
Arash Afshar