Please use this identifier to cite or link to this item:
|Title:||A framework for extended algebraic data types||Authors:||Sulzmann, M.
|Issue Date:||2006||Citation:||Sulzmann, M.,Wazny, J.,Stuckey, P.J. (2006). A framework for extended algebraic data types. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3945 LNCS : 47-64. ScholarBank@NUS Repository. https://doi.org/10.1007/11737414_5||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. © Springer-Verlag Berlin Heidelberg 2006.||Source Title:||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)||URI:||http://scholarbank.nus.edu.sg/handle/10635/42134||ISBN:||3540334386||ISSN:||03029743||DOI:||10.1007/11737414_5|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.