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
]