Combinators and Functional Programming Languages
Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
(Sprache: Englisch, Französisch)
Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Cat¿riques et Impl¿ntation des Langages Fonctionnels.- Combinators and lambda-calculus, a short outline.- Cartesian closed categories and...
Leider schon ausverkauft
versandkostenfrei
Buch
32.09 €
Produktdetails
Produktinformationen zu „Combinators and Functional Programming Languages “
Klappentext zu „Combinators and Functional Programming Languages “
Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Cat¿riques et Impl¿ntation 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 zu „Combinators and Functional Programming Languages “
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.
Bibliographische Angaben
- 1986, 220 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Französisch/Englisch
- Herausgegeben: Guy Cousineau, Bernard Robinet, Pierre-Louis Curien
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540171843
- ISBN-13: 9783540171843
- Erscheinungsdatum: 01.11.1986
Sprache:
Englisch, Französisch
Kommentar zu "Combinators and Functional Programming Languages"
0 Gebrauchte Artikel zu „Combinators and Functional Programming Languages“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Combinators and Functional Programming Languages".
Kommentar verfassen