Combinators and Functional Programming Languages 1
bokomslag Combinators and Functional Programming Languages
Data & IT

Combinators and Functional Programming Languages

Guy Cousineau • Pierre-Louis Curien • Bernard Robinet

Pocket

609:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 212 sidor
  • 1986
Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Catriques et Implntation 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.

  • Författare: Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
  • Format: Pocket/Paperback
  • ISBN: 9783540171843
  • Språk: Engelska
  • Antal sidor: 212
  • Utgivningsdatum: 1986-11-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag The Great War

    The Great War

    Kellen Kurschinski, Steve Marti, Alicia Robinet, Matt Symes, Jonathan F Vance

    Pocket

    869:-
  2. bokomslag Electronic Dictionaries and Automata in Computational Linguistics

    Electronic Dictionaries and Automata ...

    Dominique Perrin Maurice Gross

    Pocket

    1009:-
  3. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

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

    Pocket

    1009:-
  4. bokomslag Semantics of Systems of Concurrent Processes

    Semantics of Systems of Concurrent Pr...

    Irene Guessarian

    Pocket

    1009:-
  5. bokomslag Automata Networks

    Automata Networks

    C Choffrut

    Pocket

    1009:-
  6. bokomslag Formal Properties of Finite Automata and Applications

    Formal Properties of Finite Automata ...

    Jean E Pin

    Pocket

    1009:-
  7. bokomslag The Functional Approach to Programming

    The Functional Approach to Programming

    Guy Cousineau

    Pocket

    1109:-
  8. bokomslag To My Loves

    To My Loves

    Jen Cousineau

    Häftad

    309:-
  9. bokomslag Stochastic Differential Systems, Stochastic Control Theory and Applications

    Stochastic Differential Systems, Stoc...

    Pierre-Louis Lions Wendell Fleming

    Pocket

    1999:-
  10. bokomslag Oeuvres. Tome 3

    Oeuvres. Tome 3

    Pierre-Louis Ginguen Sbastien-Roch-Ni...

    Pocket

    529:-

Andra av samma författare

  1. bokomslag The Functional Approach to Programming

    The Functional Approach to Programming

    Guy Cousineau

    Pocket

    1109:-
  2. bokomslag ESOP 86

    ESOP 86

    Bernard Robinet

    Pocket

    1009:-
  3. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

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

    Pocket

    1009:-
  4. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Pierre-Louis Curien

    Pocket

    749:-