mire85

P. Mishra, U. Reddy. Declaration-Free Type Checking. In Proc. 12th ACM Symp. on Principles of Programming Languages, Pages 7-21, January 1985.

Keyword

[ Parametricity ]

Contact

Priti Mishra
U. Reddy

BibTex Reference

@InProceedings{mire85,
   Author = {Mishra, P. and Reddy, U.},
   Title = {Declaration-Free Type Checking},
   BookTitle = {Proc. 12th ACM Symp. on Principles of Programming Languages},
   Pages = {7--21},
   Month = {January},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)