Combinators and Functional Programming Languages
Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
Published on 1. November 1986
Book
Paperback/Softback
VIII, 212 pages
978-3-540-17184-3 (ISBN)
Description
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.
More details
Series
Edition
1986 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VIII, 212 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 13 mm
Weight
341 gr
ISBN-13
978-3-540-17184-3 (9783540171843)
DOI
10.1007/3-540-17184-3
Schweitzer Classification
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.