TLDI 2007 - Advance Program

The ACM SIGPLAN Workshop on Types in Language Design and Implementation

January 16, 2007, Nice, France

Breakfast: 8:30-9:00

Session 1: 9:00 - 10:00

Invited talk: What's the Deal with Dependent Types?
  Conor McBride, University of Nottingham

Break: 10:00 -10:30

Session 2: 10:30 - 12:00

Modular Information Hiding and Type-Safe Linking for C
  Saurabh Srivastava, Michael Hicks and Jeffrey Foster
Semantics of an Effect Analysis for Exceptions
  Nick Benton and Peter Buchlovsky
A graphical presentation of MLF types with a linear-time unification algorithm.
  Didier Rémy and Boris Yakobowski

Lunch: 12:30 - 14:30

Session 3: 14:30 - 15:30

Invited talk: Typing Ad Hoc Data
  Kathleen Fisher , AT&T Research

Break 15:30 - 16:00

Session 4: 16:00 - 17:30

A Garbage-Collecting Typed Assembly Language
  Chris Hawblitzel, Heng Huang, Lea Wittie and Juan Chen
System F with Type Equality Coercions
  Martin Sulzmann, Manuel Chakravarty, Simon Peyton Jones and Kevin Donnelly
An Open Framework for Foundational Proof-Carrying Code
  Xinyu Feng, Zhaozhong Ni, Zhong Shao and Yu Guo