• Home /
  • Combinators and Functional Programming Languages (eBook)

Combinators and Functional Programming Languages (eBook)

Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
Artikelnummer: 978-3-540-47253-7
Einband: PDF
Verfügbarkeit: Noch nicht erschienen, April 2027
CHF 40.00

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.

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.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer Berlin Heidelberg
EinbandPDF
Erscheinungsjahr2005
Seitenangabe212 S.
AusgabekennzeichenEnglisch / Französisch
AbbildungenVIII, 212 p.
Auflage1986
PlattformPDF
ReiheLecture Notes in Computer Science
AutorCousineau, Guy (Hrsg.) / Curien, Pierre-Louis (Hrsg.) / Robinet, Bernard (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science"

Weitere Titel von Guy (Hrsg.) Cousineau

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten