Truly Modular (Co)datatypes for Isabelle/HOL.

Jasmin Christian Blanchette, Johannes Hlzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, Dmitriy Traytel

Browse the full ITP paper archive.