A Framework for Extended Algebraic Data Types.

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

Browse the full FLOPS paper archive.