Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings - Leroy, Xavier; Leroy, Xavier; Ohori, Atsushi; Ohori, Atsushi (Springer Berlin Heidelberg : Imprint: Springer, 1998)