Format:
Online-Ressource (IV, 208 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540472537
Series Statement:
Lecture notes in computer science 242
Content:
Streams are not dreams -- Amber -- The amber machine -- Sur l'analogie entre les propositions et les types -- Combinateurs Catégoriques et Implémentation des Langages Fonctionnels -- Combinators and lambda-calculus, a short outline -- Cartesian closed categories and lambda-calculus -- Cartesian closed categories and typed ?-calculi -- An introduction to fully-lazy supercombinators.
Note:
Literaturangaben
,
Beitr. teilw. engl., teilw. franz.
Additional Edition:
ISBN 3540171843
Additional Edition:
ISBN 0387171843
Additional Edition:
ISBN 9783540171843
Additional Edition:
Druckausg. Combinators and functional programming languages Berlin : Springer, 1986 ISBN 3540171843
Additional Edition:
ISBN 0387171843
Language:
English
Subjects:
Computer Science
Keywords:
Kombinatorik
;
Programmiersprache
;
Funktionale Programmierung
;
Funktionale Programmiersprache
;
Lambda-Kalkül
;
Konferenzschrift
DOI:
10.1007/3-540-17184-3
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink