Conference Proceedings

A framework for extended algebraic data types

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

FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS | SPRINGER | Published : 2006