Media type: Book; Conference Proceedings Title: Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Contributor: Leroy, Xavier [Hrsg.]; Ohori, Atsushi [Other] Event: TIC imprint: Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1473 Extent: VIII, 297 S.; grap. Darst Language: English ISBN: 3540649255 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Funktionale Programmiersprache > Typisierung > Compiler Programmtransformation > Codegenerierung Typisierter Lambda-Kalkül Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4513 Item ID: 30440851 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order