plotkin91b

G. Plotkin. A Semantics for Type Checking. 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 1-17, September 1991.

Keyword

[ Parametricity ]

Contact

G.D. Plotkin

BibTex Reference

@InProceedings{plotkin91b,
   Author = {Plotkin, G.},
   Title = {A Semantics for Type Checking},
   BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan},
   editor = {Ito, T. and Meyer, A.},
   Pages = {1--17},
   Publisher = {Springer},
   Month = {September},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)