"Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers " - читать интересную книгу автора (Robert Harper)