Types In Languages Design And Implementation

TLDI 2012: Philadelphia, PA, USA

TLDI 2011: Austin, TX, USA

TLDI 2010: Madrid, Spain

TLDI 2009: Savannah, GA, USA

TLDI 2007: Nice, France

TLDI 2005: Long Beach, California, USA

-

TLDI 2005 Home Page

TLDI 2003: New Orleans, Louisiana, USA

maintained by Schloss Dagstuhl LZI at University of Trier