Research on "Formal Methods in Computing"

Typing local definitions and conditional expressions with rank 2 intersection

(Superseded by the full paper [Damiani, 2001])

ABSTRACT. We introduce a variant of the system of rank 2 intersection types with new typing rules for local definitions (LET-expressions and LETREC-expressions) and conditional expressions (IF-expressions and CASE-expressions). These extensions are a further step towards the use of intersection types in "real" programming languages.

• ps , ps.gz ( © Springer-Verlag )

BIBTEX.

@conference{Damiani:FOSSACS-00,
   author    = {F. Damiani},
   title     = {Typing local definitions and conditional expressions with rank 2 intersection},
   booktitle = {{FOSSACS'00 (part of ETAPS'00)}},
   year      = {2000},
   publisher = {Springer},
   pages     = {82-97 },
   series    = {LNCS 1784}
}