Please use this identifier to cite or link to this item: https://doi.org/10.1007/11737414_5
Title: A framework for extended algebraic data types
Authors: Sulzmann, M. 
Wazny, J.
Stuckey, P.J.
Issue Date: 2006
Source: 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.

SCOPUSTM   
Citations

11
checked on Dec 13, 2017

Page view(s)

40
checked on Dec 16, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.