Types in compilation
Subtitle: third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : proceedings
By: Robert Harper, (ed.).
Contributors: Harper, Robert William, 1957-
Series: Lecture notes in computer science -- 2071.
Publisher: Springer
Place of publication: New York
Number of pages: 206
Subjects: Compiling (Electronic computers) -- Congresses.
Genres: Congresses.
Other titles: TIC 2000.
Notes: Includes bibliographical references and index.

Also available by subscription via the World Wide Web.