TLDI 2009: Savannah, GA, USA

Andrew Kennedy, Amal Ahmed (Eds.): Proceedings of TLDI'09: 2009 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

Ulf Norell:
Dependently typed programming in Agda. 1-2

Session 1

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

Session 2

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

Session 3

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

Last update Fri May 25 08:43:13 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page