TY - BOOK
AU - TIC 2 1998 Kyōto
AU - Leroy, Xavier
AU - Ohori, Atsushi
TI - Types in compilation second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings
PB - Springer
SN - 3540649255
KW - Compiling (Electronic computers) Congresses
KW - Konferenzschrift 1998 Kioto
KW - Funktionale Programmiersprache
KW - Typisierung
KW - Compiler
KW - Programmtransformation
KW - Codegenerierung
KW - Typisierter Lambda-Kalkül
PY - 1998
N2 - Literaturangaben
BT - Lecture notes in computer science ; 1473
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation