Boxy Types: Inference for Higher-Rank Types and Impredicativity
| dc.contributor.author | Vytiniotis, Dimitrios | |
| dc.contributor.author | Weirich, Stephanie C | |
| dc.contributor.author | Peyton Jones, Simon | |
| dc.date | 2023-05-17T00:13:42.000 | |
| dc.date.accessioned | 2023-05-22T12:47:12Z | |
| dc.date.available | 2023-05-22T12:47:12Z | |
| dc.date.issued | 2006-09-01 | |
| dc.date.submitted | 2006-12-08T06:15:54-08:00 | |
| dc.description.abstract | Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annotations. In this paper we show, for the first time, how to combine the virtues of two well-established ideas: unification-based inference, and bidirectional propagation of type annotations. The result is a type system that conservatively extends Hindley-Milner, and yet supports both higher-rank types and impredicativity. | |
| dc.description.comments | Postprint version. Copyright ACM, 2006. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in SIGPLAN Notices, Volume 41, Issue 9, September 2006, pages 251-262. Publisher URL: http://doi.acm.org/10.1145/1160074.1159838 | |
| dc.identifier.uri | https://repository.upenn.edu/handle/20.500.14332/6314 | |
| dc.legacy.articleid | 1291 | |
| dc.legacy.fulltexturl | https://repository.upenn.edu/cgi/viewcontent.cgi?article=1291&context=cis_papers&unstamped=1 | |
| dc.source.issue | 275 | |
| dc.source.journal | Departmental Papers (CIS) | |
| dc.source.peerreviewed | true | |
| dc.source.status | published | |
| dc.subject.other | impredicativity | |
| dc.subject.other | higher-rank types | |
| dc.subject.other | type inference | |
| dc.title | Boxy Types: Inference for Higher-Rank Types and Impredicativity | |
| dc.type | Presentation | |
| digcom.identifier | cis_papers/275 | |
| digcom.identifier.contextkey | 230799 | |
| digcom.identifier.submissionpath | cis_papers/275 | |
| digcom.type | conference | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | b66c11a3-4446-4985-a8af-67bf0f02b419 | |
| relation.isAuthorOfPublication.latestForDiscovery | b66c11a3-4446-4985-a8af-67bf0f02b419 | |
| upenn.schoolDepartmentCenter | Departmental Papers (CIS) |
Files
Original bundle
1 - 1 of 1