Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings - Xavier Leroy, Atsushi Ohori ((Lecture Notes in Computer Science))