A framework for extended algebraic data types (2006)

by M Sulzmann, J Wazny, P J Stuckey
Venue:In Proc. of FLOPS’06, volume 3945 of LNCS