Witnessing (Co)datatypes.

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Browse the full ESOP paper archive.