klms94

Dinesh Katiyar, David Luckham, John Mitchell, Sigurd. Polymorphism and Subtyping in Interfaces. In Proc. Workshop on Interface Definition Languages, ACM SIGPLAN Notices, Volume 29, Pages 22-34, August 1994.

Keyword

[ Parametricity ]

Contact

D. Katiyar
David C. Luckham
J.C. Mitchell
Sigurd

BibTex Reference

@InProceedings{klms94,
   Author = {Katiyar, Dinesh and Luckham, David and Mitchell, John and Sigurd, },
   Title = {Polymorphism and Subtyping in Interfaces},
   BookTitle = {Proc. Workshop on Interface Definition Languages},
   Volume = {29},
   Number = {8},
   Pages = {22--34},
   Series = {ACM SIGPLAN Notices},
   Publisher = {ACM Press},
   Month = {August},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)