amca91

R. Amadio, L. Cardelli. Subtyping Recursive Types. In Proc. 18th Annual ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida, Pages 104-118, January 1991.

Keyword

[ Rectype ]

Contact

R.M. Amadio
L. Cardelli

BibTex Reference

@InProceedings{amca91,
   Author = {Amadio, R. and Cardelli, L.},
   Title = {Subtyping Recursive Types},
   BookTitle = {Proc. 18th Annual ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida},
   Pages = {104--118},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)