Combinators and Functional Programming Languages
Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10,1985.Proceedings, Lecture Notes in Computer Science 242
Guy Cousineau/Pierre-Louis Curien/Bernard Robinet
€32.09
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Zusatztext
InhaltsangabeStreams 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.
Weitere Details
Erschienen: 01.11.1986
Umfang: viii, 212 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540171843
Umbreit-Nr.: 1483528
