TLDI 2009: Savannah, GA, USA

Andrew Kennedy, Amal Ahmed (Eds.): Proceedings of TLDI'08: 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. ACM 2009, ISBN 978-1-60558-420-1 BibTeX

Ulf Norell:
Dependently typed programming in Agda. 1-2
Electronic Edition (ACM DL) BibTeX

Session 1

Nick Benton, Nicolas Tabareau:
Compiling functional types to relational specifications for low level imperative code. 3-14
Electronic Edition (ACM DL) BibTeX
Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera:
Typed transformations of typed abstract syntax. 15-26
Electronic Edition (ACM DL) BibTeX
Ioannis G. Baltopoulos, Andrew D. Gordon:
Secure compilation of a multi-tier web language. 27-38
Electronic Edition (ACM DL) BibTeX

Session 2

Daniel Marino, Todd D. Millstein:
A generic type-and-effect system. 39-50
Electronic Edition (ACM DL) BibTeX
Marwan Abi-Antoun, Jonathan Aldrich:
Static extraction of sound hierarchical runtime object graphs. 51-64
Electronic Edition (ACM DL) BibTeX
Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak:
Opis: reliable distributed systems in OCaml. 65-78
Electronic Edition (ACM DL) BibTeX

Session 3

Aleksandar Nanevski, Paul Govereau, Greg Morrisett:
Towards type-theoretic semantics for transactional concurrency. 79-90
Electronic Edition (ACM DL) BibTeX
Lars Birkedal, Kristian Støvring, Jacob Thamsborg:
Relational parametricity for references and recursive types. 91-104
Electronic Edition (ACM DL) BibTeX
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse:
Design patterns in separation logic. 105-116
Electronic Edition (ACM DL) BibTeX