A framework for extended algebraic data types (2006)
| Venue: | In Proc. of FLOPS’06, volume 3945 of LNCS |
| Citations: | 22 - 9 self |
BibTeX
@INPROCEEDINGS{Sulzmann06aframework,
author = {Martin Sulzmann and Jeremy Wazny and Peter J. Stuckey},
title = {A framework for extended algebraic data types},
booktitle = {In Proc. of FLOPS’06, volume 3945 of LNCS},
year = {2006},
pages = {47--64},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
