Conference Proceedings

A framework for extended algebraic data types

Martin Sulzmann, Jeremy Wazny, Peter J Stuckey, M Hagiya, P Wadler

Functional and Logic Programming | SPRINGER | Published : 2006