Hersteller der Reproduktion:
Berlin [u.a.]: Springer, 2006
Entstehung:
Anmerkungen:
Literaturangaben
Beitr. teilw. engl., teilw. franz
Beschreibung:
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.