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. Springer 2001 Lecture Notes in Computer Science 2071 ISBN 3-540-42196-3 [ contents ]
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. Springer 1998 Lecture Notes in Computer Science 1473 ISBN 3-540-64925-5 [ contents ]



