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)
Saved in:
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40624 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-40624 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-406242015-01-10T20:53:07Z Principal type inference for GHC-style multi-parameter type classes Sulzmann, M. Schrijvers, T. Stuckey, P.J. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4279 LNCS 26-43 2013-07-04T08:08:36Z 2013-07-04T08:08:36Z 2006 Conference Paper 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. 3540489371 03029743 http://scholarbank.nus.edu.sg/handle/10635/40624 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| description |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Sulzmann, M. Schrijvers, T. Stuckey, P.J. |
| format |
Conference or Workshop Item |
| author |
Sulzmann, M. Schrijvers, T. Stuckey, P.J. |
| spellingShingle |
Sulzmann, M. Schrijvers, T. Stuckey, P.J. Principal type inference for GHC-style multi-parameter type classes |
| author_sort |
Sulzmann, M. |
| title |
Principal type inference for GHC-style multi-parameter type classes |
| title_short |
Principal type inference for GHC-style multi-parameter type classes |
| title_full |
Principal type inference for GHC-style multi-parameter type classes |
| title_fullStr |
Principal type inference for GHC-style multi-parameter type classes |
| title_full_unstemmed |
Principal type inference for GHC-style multi-parameter type classes |
| title_sort |
principal type inference for ghc-style multi-parameter type classes |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/40624 |
| _version_ |
1681082300008235008 |