Types In Languages Design And Implementation

TLDI 2009: Savannah, GA, USA

Andrew Kennedy, Amal Ahmed (Eds.): Proceedings of TLDI'08: 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. ACM 2009, ISBN 978-1-60558-420-1
Contents BibTeX

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
Contents BibTeX

TLDI 2005: Long Beach, California, USA

J. Gregory Morrisett, Manuel Fähndrich (Eds.): Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005. ACM 2005, ISBN 1-58113-999-3
Contents BibTeX - TLDI 2005 Home Page

TLDI 2003: New Orleans, Louisiana, USA

Zhong Shao, Peter Lee (Eds.): Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003. ACM 2003, ISBN 1-58113-649-8
Contents BibTeX