Types in Compilation (TIC)

3. TIC 2000: Montreal, Canada

• 
  Robert Harper:
  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:
  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