TLDI 2007: Nice, France

François Pottier, George C. Necula (Eds.): Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007. ACM 2007, ISBN 1-59593-393-X

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

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