U. de' Liguoro
Restricted intersection type assignment
systems and object properties
December 2002
In this note we consider a restricted version of the intersection
types for a lambda-calculus with records as presented in
[?] w.r.t. principal
typing property and expressivity. We sketch how the classical
approach to principal typing for intersection type assignment
system can be adapted to cope with record types. We then exemplify
typings in our system of self-application and recursive record
interpretations of objects.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43