cpr2005

Roberto Di Cosmo, Francois Pottier, Didier Remy. Subtyping recursive types modulo associative commutative products. In Proc. Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005), 2005.

Keyword

[ Rectype ]

Contact

Roberto Di Cosmo
Francois Pottier
Didier Remy

BibTex Reference

@InProceedings{cpr2005,
   Author = {Di Cosmo, Roberto and Pottier, Francois and Remy, Didier},
   Title = {Subtyping recursive types modulo associative commutative products},
   BookTitle = {Proc. Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005)},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)