Implementation of functional languages

: 12th international workshop ; selected papers / IFL 2000, Aachen, Germany, September 4 - 7, 2000. M. Mohnen ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2011)

ISBN 978-3-540-45361-1

Lizenzpflichtig

Quelle: DNB

Implementation of functional languages

: 9th international workshop ; selected papers / IFL '97, St. Andrews, Scotland, UK, September 1997. C. Clack ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1467)

ISBN 978-3-540-68528-9

Lizenzpflichtig

Quelle: DNB

Implementation of functional languages

: 9th international workshop ; selected papers / IFL '97, St. Andrews, Scotland, UK, September 10 - 12, 1997. Chris Clack ... (ed.). - Berlin : Springer, 1998. - X, 374 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1467)

ISBN 978-3-540-64849-9 / 3-540-64849-6 kart. : DM 82.00

Literaturangaben

Quelle: DNB

Implementation of functional languages

: 14th international workshop ; revised selected papers / IFL 2002, Madrid, Spain, September 16 - 18, 2002. Ricardo Peña ; Thomas Arts (ed.). - Berlin : Springer, 2003. - X, 247 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2670)

ISBN 978-3-540-40190-2 / 3-540-40190-3 kart. : EUR 44.94

Quelle: DNB

Furbach, Ulrich: Logische und funktionale Programmierung

: Grundlagen einer Kombination / Ulrich Furbach. - Braunschweig : Vieweg, 1991. - IV, 159 S.; 23 cm - (Künstliche Intelligenz)

ISBN 978-3-528-05127-3 / 3-528-05127-2 kart. : DM 49.00

Quelle: DNB

Types in compilation

: second international workshop ; proceedings / TIC '98, Kyoto, Japan, March 1998. Xavier Leroy ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1473)

ISBN 978-3-540-68308-7

Lizenzpflichtig

Quelle: DNB