TLDI 2007: Nice, France

• Conor McBride:
  What's the deal with dependent types? 1-2
  

Session 1

• Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster:
  Modular information hiding and type-safe linking for C. 3-14
  
• Nick Benton, Peter Buchlovsky:
  Semantics of an effect analysis for exceptions. 15-26
  
• Didier Rémy, Boris Yakobowski:
  A graphical presentation of ML^F types with a linear-time unification algorithm. 27-38
  

Session 2

• Kathleen Fisher:
  Typing ad hoc data. 39-40
  

Session 3

• Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen:
  A garbage-collecting typed assembly language. 41-52
  
• Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly:
  System F with type equality coercions. 53-66
  
• Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo:
  An open framework for foundational proof-carrying code. 67-78