You are about to access our book library "Types in Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings (Lecture Notes in Computer Science, 1473) full version" .