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

459:-

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

Uppskattad leveranstid 10-16 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 Category Theory and Computer Science

    Category Theory and Computer Science

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

    Pocket

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

    Electronic Dictionaries and Automata ...

    Dominique Perrin Maurice Gross

    Pocket

    769:-
  3. bokomslag Semantics of Systems of Concurrent Processes

    Semantics of Systems of Concurrent Pr...

    Irene Guessarian

    Pocket

    769:-
  4. bokomslag Automata Networks

    Automata Networks

    C Choffrut

    Pocket

    769:-
  5. bokomslag Formal Properties of Finite Automata and Applications

    Formal Properties of Finite Automata ...

    Jean E Pin

    Pocket

    769:-
  6. bokomslag Stochastic Differential Systems, Stochastic Control Theory and Applications

    Stochastic Differential Systems, Stoc...

    Pierre-Louis Lions Wendell Fleming

    Pocket

    1509:-
  7. bokomslag The Functional Approach to Programming

    The Functional Approach to Programming

    Guy Cousineau

    Pocket

    1129:-
  8. bokomslag The Accidental Aphorist: A Curiosity Cabinet of Aphorisms

    The Accidental Aphorist: A Curiosity ...

    Phil Cousineau

    Inbunden

    399:-
  9. bokomslag Large Scale Structures in Nonlinear Physics

    Large Scale Structures in Nonlinear P...

    Pierre-Louis Sulem Jean-Daniel Fournier

    Pocket

    769:-
  10. bokomslag Parabolic Equations with Irregular Data and Related Issues

    Parabolic Equations with Irregular Da...

    Pierre-Louis Lions Claude Le Bris

    Inbunden

    2129:-

Andra av samma författare

  1. bokomslag The Functional Approach to Programming

    The Functional Approach to Programming

    Guy Cousineau

    Pocket

    1129:-
  2. bokomslag ESOP 86

    ESOP 86

    Bernard Robinet

    Pocket

    769:-
  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

    769:-
  4. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Pierre-Louis Curien

    Pocket

    769:-