reynolds91

J. Reynolds. The Coherence of Languages with Intersection Types. In Proc. Int'l Conf. on Theoretical Aspects of Computer Science (TACS), Sendai, Japan, Lecture Notes in Computer Science, Vol. 526, September 1991.

Keyword

[ Parametricity ]

Contact

John C. Reynolds

BibTex Reference

@InProceedings{reynolds91,
   Author = {Reynolds, J.},
   Title = {The Coherence of Languages with Intersection Types},
   BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Science (TACS), Sendai, Japan},
   Publisher = {Springer},
   Month = {September},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)