cmms91

L. Cardelli, S. Martini, J. Mitchell, A. Scedrov. An Extension of System F with Subtyping. In Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan, T. Ito, A. Meyer (eds.), Lecture Notes in Computer Science, Vol. 526, Pages 750-770, September 1991.

Keyword

[ Parametricity ]

Contact

L. Cardelli
S. Martini
J.C. Mitchell
A. Scedrov

BibTex Reference

@InProceedings{cmms91,
   Author = {Cardelli, L. and Martini, S. and Mitchell, J. and Scedrov, A.},
   Title = {An Extension of System {F} with Subtyping},
   BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan},
   editor = {Ito, T. and Meyer, A.},
   Pages = {750--770},
   Publisher = {Springer},
   Month = {September},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)