DIPARTIMENTO DI
INFORMATICA
Università di Torino | |

Research on "Formal Methods in Computing"
## Rank 2 Intersection and Polymorphic Recursion## (Superseded by the paper [Damiani, 2007] )Ferruccio DAMIANI
An on-line demostration of a prototype implementation of the type system presented in the paper is available. - pdf ( © Springer-Verlag )
@conference{Damiani:TLCA-05, author = {F. Damiani}, title = {{Rank-2 Intersection and Polymorphic Recursion}}, booktitle = {{TLCA'05}}, year = {2005}, publisher = {Springer}, pages = {146-161}, series = {LNCS}, volume = {3461} } |

["Formal Methods in Computing" group] [Department's HOME]

Last update: Mar 05, 2007 | |