The Optimal Implementation of Functional Programming Languages 1
bokomslag The Optimal Implementation of Functional Programming Languages
Data & IT

The Optimal Implementation of Functional Programming Languages

Andrea Asperti • Stefano Guerrini • Andrea Asperti • C J Van Rijsbergen • C J Van Rijsbergen

Inbunden

1439:-

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

Uppskattad leveranstid 5-10 arbetsdagar

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

  • 408 sidor
  • 1998
This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers.
  • Författare: Andrea Asperti, Stefano Guerrini, Andrea Asperti, C J Van Rijsbergen, C J Van Rijsbergen
  • Format: Inbunden
  • ISBN: 9780521621120
  • Språk: Engelska
  • Antal sidor: 408
  • Utgivningsdatum: 1998-12-03
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Theoretical Foundations of VLSI Design

    Theoretical Foundations of VLSI Design

    K Mcevoy, J V Tucker, K Mcevoy, C J Van Rijsbergen, C J Van Rijsbergen

    Pocket

    1059:-
  2. bokomslag SIGIR '94

    SIGIR '94

    W Bruce Croft, Cornelis Joost Van Rijsbergen, C J Van Rijsbergen, Bruce Croft, C J Van Rijsbergen

    Pocket

    1479:-
  3. bokomslag Information Retrieval: Uncertainty and Logics

    Information Retrieval: Uncertainty an...

    Cornelis Joost Van Rijsbergen, Fabio Crestani, Mounia Lalmas, C J Van Rijsbergen, Cornelis Joost Van Rijsbergen

    Inbunden

    4529:-
  4. bokomslag Computational Learning Theory

    Computational Learning Theory

    M H G Anthony, N Biggs, M H G Anthony, Norman L Biggs, C J Van Rijsbergen

    Pocket

    699:-
  5. bokomslag Quantum Interaction

    Quantum Interaction

    Peter Bruza, Donald Sofge, William Lawless, C J Van Rijsbergen, Matthias Klusch

    Pocket

    729:-
  6. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, Jorg Desel, Javier Esparza, C J Van Rijsbergen

    Pocket

    679:-
  7. bokomslag Information Flow

    Information Flow

    Jon Barwise, Jerry Seligman, Jon Barwise, Whatley, C J Van Rijsbergen

    Inbunden

    1259:-
  8. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, J B Paris, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  9. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen

    Pocket

    869:-
  10. bokomslag Metamathematics, Machines and Godel's Proof

    Metamathematics, Machines and Godel's...

    N Shankar, Natarajan Shankar, N Shankar, C J Van Rijsbergen

    Pocket

    789:-

Andra av samma författare

  1. bokomslag Programs, Recursion and Unbounded Choice

    Programs, Recursion and Unbounded Choice

    Wim H Hesselink, Hesselink Wim H, C J Van Rijsbergen

    Pocket

    789:-
  2. bokomslag Nets, Terms and Formulas

    Nets, Terms and Formulas

    E-R Olderog, E R Olderog, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  3. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen

    Pocket

    869:-
  4. bokomslag Extensions of First-Order Logic

    Extensions of First-Order Logic

    Maria Manzano, Maria Manzano, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1219:-
  5. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, Jorg Desel, Javier Esparza, C J Van Rijsbergen

    Pocket

    679:-
  6. bokomslag The Logic of Typed Feature Structures

    The Logic of Typed Feature Structures

    Robert L Carpenter, Bob Carpenter, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  7. bokomslag Deductive and Declarative Programming

    Deductive and Declarative Programming

    Peter Padawitz, P Padawitz, C J Van Rijsbergen

    Pocket

    789:-
  8. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, J B Paris, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  9. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-
  10. bokomslag Formal Methods in Artificial Intelligence

    Formal Methods in Artificial Intellig...

    Allan M Ramsay, Allan Ramsay, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    699:-