Types in Compilation (TIC)

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

- 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

- TIC 1998 Home Page

1. TIC 1997: Amsterdam, The Netherlands

TIC 1997 Home Page