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 BibTeX

Conor McBride:
What's the deal with dependent types? 1-2
Electronic Edition (ACM DL) BibTeX

Session 1

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

Session 2

Kathleen Fisher:
Typing ad hoc data. 39-40
Electronic Edition (ACM DL) BibTeX

Session 3

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