Title: The structure of typed programming languages
Subjects: Programming languages (Electronic computers), Langages de programmation, Programmiersprache