Automatic Generation of Code for Tree-Like Data Types (C++ Now 2023)

This presentation describes an experimental tool that translates specifications of inductive (algebraic) data types into C++-code. I explain its use, and details of its implementation. These are the slides, and this is a recording of the presentation. Note that the implementation described in the presentation is outdated. The latest version can be downloaded from the top page.