mitchell91b

J. Mitchell. On Abstraction and the Expressive Power of Programming Languages. 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 290-310, September 1991.

Keyword

[ Parametricity ]

Contact

J.C. Mitchell

BibTex Reference

@InProceedings{mitchell91b,
   Author = {Mitchell, J.},
   Title = {On Abstraction and the Expressive Power of Programming Languages},
   BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan},
   editor = {Ito, T. and Meyer, A.},
   Pages = {290--310},
   Publisher = {Springer},
   Month = {September},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)