F. Damiani
Principal typings and true
rank 2 intersection typable recursive definitions
Internal report. Superseded by [29], October
2003
We propose new typing rules for assigning rank 2 intersection
types to (possibly mutually) recursive definitions. A major
achievement of the new rules over previous proposals is that they
allow to type also true rank 2 intersection typable
recursive definitions (i.e., recursive definitions that have a
rank 2 intersection type and no simple type). A notable feature of
these rules is that they rely entirely on the principal
typing property, so they can be added to any system with
principal typings.
[ bib |
.pdf |
.html ]
Back
This file has been generated by
bibtex2html 1.43