Title: Advanced topics in types and programming languages
Subjects: Programming languages (Electronic computers)