TLDI   2005 Types In Languages Design And Implementation
Wall of Fame | Most Viewed TLDI-2005 Paper
151views Formal Methods» more  TLDI 2005»
13 years 3 months ago
Strict bidirectional type checking
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source151
2Download preprint from source135
3Download preprint from source126
4Download preprint from source118
5Download preprint from source102