GROSZ A simple expression language written in OCaml and based upon the 'Statics' chapter of the book Practical Foundations for Programming Languages by Robert Harper.