Aron M. Tenenbaum. Type determination for very high level languages. October 1974.
Aron M. Tenenbaum. Type determination for very high level languages. Report 3, Courant Insitute of Mathematical Sciences, Computer Sciencxe Department, New York University, October 1974. From https://archive.org/details/typedeterminatio00tene
Size 5.6 MB - File type application/pdf