Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers (Lecture Notes in Computer Science)
by:
Robert Harper (author)
Format: kindle
ASIN: B000V3Q4VK
Publish date: June 13th 2008
Publisher: Springer
Pages no: 214
Edition language: English