Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC)

TLDI 2003: New Orleans, LA, USA

Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, LA, USA, January 18, 2003. SIGPLAN Notices 38(3)2003, ACM
Contents - TLDI 2003 Home Page

3. TIC 2000: Montreal, Canada

Robert Harper (Ed.): Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Lecture Notes in Computer Science 2071 Springer 2001, ISBN 3-540-42196-3
Contents BibTeX - TIC 2000 Home Page

2. TIC 1998: Kyoto, Japan

Xavier Leroy, Atsushi Ohori (Eds.): Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings. Lecture Notes in Computer Science 1473 Springer 1998, ISBN 3-540-64925-5
Contents BibTeX - TIC 1998 Home Page

1. TIC 1997: Amsterdam, The Netherlands

TIC 1997 Home Page