Robert Harper, editor, Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Volume 2071 of Lecture Notes in Computer Science, Springer, 2001.
Conference: tic
No references recorded for this publication.
No citations of this publication recorded.