Prateek Mishra, Uday S. Reddy
Declaration-Free Type Checking
POPL, 1985.
@inproceedings{POPL-1985-MishraR,
author = "Prateek Mishra and Uday S. Reddy",
booktitle = "{Conference Record of the 12th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/318593.318603",
editor = "Mary S. Van Deusen and Zvi Galil and Brian K. Reid",
isbn = "0-89791-147-4",
pages = "7--21",
publisher = "{ACM Press}",
title = "{Declaration-Free Type Checking}",
year = 1985,
}