TLDI 2009: Accepted Submissions

A Generic Type-and-Effect System   Daniel Marino and Todd Millstein

Compiling Functional Types to Relational Specifications for Low Level Imperative Code   Nick Benton and Nicolas Tabareau

Design Patterns in Separation Logic   Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kaspar Svendsen and Alexandre Buisse

Opis: Reliable Distributed Systems in OCaml   Pierre-Evariste Dagand, Dejan Kostic and Viktor Kuncak

Relational Parametricity for References and Recursive Types   Lars Birkedal, Kristian Støvring and Jacob Thamsborg

Secure Compilation of a Multi-Tier Web Language   Ioannis Baltopoulos and Andrew Gordon

Static Extraction of Sound Hierarchical Runtime Object Graphs   Marwan Abi-Antoun and Jonathan Aldrich

Type-theoretic semantics for transactional concurrency   Aleksandar Nanevski, Paul Govereau and Greg Morrisett

Typed Transformations of Typed Abstract Syntax   Arthur Baars, S. Doaitse Swierstra and Marcos Viera