Foundational nonuniform (Co)datatypes for higher-order logic.

Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu, Dmitriy Traytel

Browse the full LICS paper archive.