Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40624
Title: Principal type inference for GHC-style multi-parameter type classes
Authors: Sulzmann, M. 
Schrijvers, T.
Stuckey, P.J.
Issue Date: 2006
Source: Sulzmann, M.,Schrijvers, T.,Stuckey, P.J. (2006). Principal type inference for GHC-style multi-parameter type classes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4279 LNCS : 26-43. ScholarBank@NUS Repository.
Abstract: We observe that the combination of multi-parameter type classes with existential types and type annotations leads to a loss of principal types and undecidability of type inference. This may be a surprising fact for users of these popular features. We conduct a concise investigation of the problem and axe able to give a type inference procedure which, if successful, computes principal types under the conditions imposed by the Glasgow Haskell Compiler (GHC). Our results provide new insights on how to perform type inference for advanced type extensions. © 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/40624
ISBN: 3540489371
ISSN: 03029743
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

43
checked on Dec 9, 2017

Google ScholarTM

Check


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