Xavier Leroy Atsushi Ohori Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings TIC Lecture Notes in Computer Science 1473 Springer 1998 3-540-64925-5 db/conf/tic/tic1998.html