Saarland University
Computer Science
Programming Systems
Teaching
Advanced Topics in Semantics


Main page
Literature
Programme
Discussion board

Advanced Topics in Semantics: Literature

Basic reading

Further reading

On presentations

Possible topics for presentations

Substructural type systems and resources, effect type systems

Models of types, logical relations, and reasoning about programs

Type dependency and module systems

Types and logics for low-level languages

Last Change: Wed Feb 6 09:20:00 2019 |