Talks

Subtyping Recursive Types modulo Associative Commutative Products

This is joint work with Roberto Di Cosmo and Fançois Pottier.

Talk given at TLCA 05, Nara, Apr 2005 [ PDF ]

Paper to appear in the proceedings of TLCA'05 [ PDF, PS ]

Long version [ PDF, PS ]