Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers

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

Abstract

Abstract is missing.

Table of Contents