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
@proceedings{tic:2000, title = {Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers}, year = {2001}, researchr = {https://researchr.org/publication/tic%3A2000}, cites = {0}, citedby = {0}, booktitle = {Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers}, editor = {Robert Harper}, volume = {2071}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42196-3}, }