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?
|
Break: 10:00 -10:30
Session 2: 10:30 - 12:00
Modular Information Hiding and Type-Safe Linking for C
|
||
Semantics of an Effect Analysis for Exceptions
|
||
A graphical presentation of MLF types with a linear-time unification algorithm.
|
Lunch: 12:30 - 14:30
Session 3: 14:30 - 15:30
Invited talk: Typing Ad Hoc Data
|
Break 15:30 - 16:00
Session 4: 16:00 - 17:30
A Garbage-Collecting Typed Assembly Language
|
||
System F with Type Equality Coercions
|
||
An Open Framework for Foundational Proof-Carrying Code
|