Declaration-free type checking (1985)

by P Mishra, U Reddy
Venue:in Proc. 12th Symp. Principles of Programming Languages, ACM