@inproceedings{64ebaf1e782b4928b03be8f6990812c6,
title = "A framework for extended algebraic data types",
abstract = "There are a number of extended forms of algebraic data types such as type classes with existential types and generalized algebraic data types. Such extensions are highly useful but their interaction has not been studied formally so far. Here, we present a unifying framework for these extensions. We show that the combination of type classes and generalized algebraic data types allows us to express a number of interesting properties which are desired by programmers. We support type checking based on a novel constraint solver. Our results show that our system is practical and greatly extends the expressive power of languages such as Haskell and ML.",
author = "Martin Sulzmann and Jeremy Wazny and Stuckey, {Peter J.}",
year = "2006",
month = jul,
day = "17",
doi = "10.1007/11737414_5",
language = "English",
isbn = "3540334386",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "47--64",
booktitle = "Functional and Logic Programming",
note = "8th International Symposium on Functional and Logic Programming, FLOPS 2006 ; Conference date: 24-04-2005 Through 26-04-2005",
}