"Types in Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings" - читать интересную книгу автора (Xavier Leroy, Atsushi Ohori)