author = { TIC 2 1998 Kyōto Leroy, Xavier AND Ohori, Atsushi },

title = { Types in compilation second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings },

publisher = {Springer},

isbn = {3540649255},

keywords = { Compiling (Electronic computers) Congresses , Konferenzschrift 1998 Kioto , Funktionale Programmiersprache , Typisierung , Compiler , Programmtransformation , Codegenerierung , Typisierter Lambda-Kalkül },

year = {1998},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 1473},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }