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

An indexed model of recursive types for foundational proofcarrying code by Andrew Appel and David McAllester, ACM Toplas, 23(5):657683, 2001.

Semantic types: a fresh look at the ideal models for types by Jérôme Vouillon and PaulAndré Melliès, Proc. POPL'04.

Kripkestyle models for typed lambda calculus by John Mitchell and Eugenio Moggi, Journal Of Pure And Applied Algebra, 51, 1991.

Typed operational reasoning by Andrew Pitts, Chap. 7 of ATTPL.

Operational reasoning for functions with local state by Andrew Pitts and Ian Stark, pp. 227273 in Higherorder Operational Techniques in Semantics, Cambridge University Press, 1998.
Type dependency and module systems

Dependent types by David Aspinall and Martin Hofmann, Chap. 2 of ATTPL.

Type definitions by Christopher Stone, Chap. 9 of ATTPL.
Types and logics for lowlevel languages
Last Change: Wed Feb 6 09:20:00 2019
