Automatic Generation of Code for Tree-Like Data Types

This is an experimental tool that translates specifications of inductive (algebraic) data types into C++-code. These are the slides which were presented at C++-now, and the tree generator itself is here. In order to compile it, you will need Maphoon, TVM and utilities, which can be obtained from the main page. The Prolog example, and multimodal logic, use the tree generator.

Note that this is experimental software. If you want to use it seriously, please write to me.