Alle Kategorien
Bücher
Bestseller Hardcover
Bestseller Taschenbuch
Bestseller Autor
Persönlichkeitsentwicklung
Mangas
Finanzbücher
Selbstfindung
Essen & Trinken
Englischsprachige Bücher
Märchen & Sagen
Krimis & Thriller
Neuerscheinungen
Ratgeber
Motivationsbücher
WAS IST WAS
Wieso? Weshalb? Warum?
BookTok
Schule & Lernen
Schulbücher bestellen
Berufsschulbücher
Neuerscheinungen
Kreativität & Do it yourself
Gesellschaftsspiele
Bestseller
Brettspiele
Geschicklichkeitsspiele
EXIT - Das Spiel
Neuerscheinungen
Kalender
Adventskalender
Notizkalender
Tageskalender
Wochenkalender
Monatskalender
Motivkalender
Hörbücher
Neuerscheinungen
Themenwelt
tiptoi
Puzzlespiele
Halloween
Winterwonderland
Autor des Monats
Asterix
Valentinstag
Frühlingserwachen
Warrior Cats
Black Dagger
Fast & Furious
Robert Hunter
Midnight Breed
Harry Potter
David Hunter
Herr der Ringe
Ostern
Tonies
0,00 €
Cover: 9783540171843 | Combinators and Functional Programming Languages | Cousineau (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
Combinators and Functional Programming Languages
Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
Taschenbuch von Guy Cousineau (u. a.)
Sprache: Englisch

31,55 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
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.
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1986
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: viii
212 S.
ISBN-13: 9783540171843
ISBN-10: 3540171843
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Cousineau, Guy
Curien, Pierre-Louis
Robinet, Bernard
Redaktion: Cousineau, Guy
Curien, Pierre-Louis
Robinet, Bernard
Herausgeber: Guy Cousineau/Pierre-Louis Curien/Bernard Robinet
Hersteller: Springer
Springer-Verlag GmbH
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 13 mm
Von/Mit: Guy Cousineau (u. a.)
Erscheinungsdatum: 01.11.1986
Gewicht: 0,341 kg
Artikel-ID: 101947188
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...