Saarland University
Computer Science
Programming Systems
Advanced Topics in Semantics

Main page
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: Sat Aug 17 14:14:48 2019 |