Title: Type determination for very high level languages
Subjects: Compiling (Electronic computers), Programming languages (Electronic computers), SETL (Computer program language)