Combinators and Functional Programming Languages

Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

AvGuy Cousineau,Pierre-Louis Curien

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

346 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-11-01
Mått:155 x 235 x 13 mm
Vikt:341 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Computer Science
Antal sidor:212
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540171843

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Nyhet

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Category Theory and Computer Science

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard

Häftad, 1991

556 kr

ESOP 86

Bernard Robinet

Häftad, 1986

572 kr

The Functional Approach to Programming

Guy Cousineau, Michel Mauny

Häftad, 1998

1 082 kr

Functional Approach to Programming

Michel Mauny, Guy Cousineau

E-bok

1998

1 068 kr

Del 46

Domains and Lambda-Calculi

Roberto M. Amadio, Pierre-Louis Curien

Inbunden, 1998

2 358 kr

Typed Lambda Calculi and Applications

Pierre-Louis Curien

Häftad, 2009

556 kr

Typed Lambda Calculi and Applications

Pierre-Louis Curien

E-bok

2009

718 kr

Functional Approach to Programming

Michel Mauny, Guy Cousineau

E-bok

1998

1 068 kr

Del 46

Domains and Lambda-Calculi

Roberto M. Amadio, Pierre-Louis Curien

Häftad, 2008

955 kr

Combinators and Functional Programming Languages

Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

AvGuy Cousineau,Pierre-Louis Curien

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

346 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-11-01
Mått:155 x 235 x 13 mm
Vikt:341 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Computer Science
Antal sidor:212
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540171843

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.