A Framework for Extended Algebraic Data Types.

Martin Sulzmann Jeremy Wazny Peter J. Stuckey A Framework for Extended Algebraic Data Types. 47-64 2006 conf/flops/2006 FLOPS http://dx.doi.org/10.1007/11737414_5 db/conf/flops/flops2006.html#SulzmannWS06