glp2000

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce. Recursive subtyping revealed: (functional pearl). In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Pages 221-231, New York, NY, USA, 2000.

Keyword

[ Rectype ]

Contact

Vladimir Gapeyev
M.Y. Levin
B.C. Pierce

BibTex Reference

@InProceedings{glp2000,
   Author = {Gapeyev, Vladimir and Levin, Michael Y. and Pierce, Benjamin C.},
   Title = {Recursive subtyping revealed: (functional pearl)},
   BookTitle = {ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming},
   Pages = {221--231},
   Publisher = {ACM},
   Address = {New York, NY, USA},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)