The Fifth ACM SIGPLAN Workshop on
Types in Language Design and Implementation
Saturday, 23 January, 2010
To be held in conjunction with POPL 2010
TLDI '10 is the fifth ACM SIGPLAN Workshop on Types in
Language Design and Implementation.
New! List of accepted papers.
New! We're pleased to announce that Matthias Felleisen will present the keynote talk at TLDI 2010.
To register for TLDI'10, follow the link from the POPL 2010 page.
Adding Types to Untyped Languages
Matthias Felleisen, Northeastern University, Boston
Effects for Cooperable and Serializable Threads
Jaeheon Yi and Cormac Flanagan
Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone
Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas
Distributed programming with distributed authorization
Kumar Avijit, Anupam Datta and Robert Harper
let should not be generalized
Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers
Pointwise Generalized Algebraic Data Types
Chuan-kai Lin and Tim Sheard
Verifying Event-Driven Programs using Ramified Frame Properties
Neelakantan Krishnaswami, Lars Birkedal and Jonathan Aldrich
Lightweight Linear Types in System Fo
Karl Mazurak, Jianzhou Zhao and Steve Zdancewic
Andreas Rossberg, Claudio Russo and Derek Dreyer
nick at microsoft dot com