Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/40624
DC FieldValue
dc.titlePrincipal type inference for GHC-style multi-parameter type classes
dc.contributor.authorSulzmann, M.
dc.contributor.authorSchrijvers, T.
dc.contributor.authorStuckey, P.J.
dc.date.accessioned2013-07-04T08:08:36Z
dc.date.available2013-07-04T08:08:36Z
dc.date.issued2006
dc.identifier.citationSulzmann, 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.
dc.identifier.isbn3540489371
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40624
dc.description.abstractWe 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.
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume4279 LNCS
dc.description.page26-43
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

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

Page view(s)

82
checked on May 12, 2020

Google ScholarTM

Check

Altmetric


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