15 results Refine Results
  1. 1
    by Moreau, René
    Published 1984
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    The computer comes of age : the people, the hardware, and the software /
  2. 2
    by Stoy, Joseph
    Published 1977
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Denotational semantics : the Scott-Strachey approach to programming language theory /
  3. 3
    by O'Donnell, Michael J., 1952-
    Published 1985
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Equational logic as a programming language /
  4. 4
    by Asperti, Andrea
    Published 1991
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Categories, types, and structures : an introduction to category theory for the working computer scientist /
  5. 5
    by Gelernter, David Hillel
    Published 1990
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Programming linguistics /
  6. 6
    by Winskel, G. (Glynn)
    Published 1993
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    The formal semantics of programming languages : an introduction /
  7. 7
    by Gunter, Carl A.
    Published 1992
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Semantics of programming languages : structures and techniques /
  8. 8
    by Pierce, Benjamin C.
    Published 2002
    “...MIT Press,...”
    Connect to errata
    Book
    Save to List
    Saved in:
    Types and programming languages /
  9. 9
    by Bruce, Kim B.
    Published 2002
    “...MIT Press,...”
    Connect to errata
    Book
    Save to List
    Saved in:
    Foundations of object-oriented languages : types and semantics /
  10. 10
    Published 1994
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Theoretical aspects of object-oriented programming : types, semantics, and language design /
  11. 11
    by Friedman, Daniel P.
    Published 2008
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Essentials of programming languages /
  12. 12
    Published 2008
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Software studies : a lexicon /
  13. 13
    Published 2005
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Advanced topics in types and programming languages /
  14. 14
    by Turbak, Franklyn Albin
    Published 2008
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Design concepts in programming languages /
  15. 15
    by Felleisen, Matthias
    Published 2009
    “...MIT Press,...”
    Book
    Save to List
    Saved in:
    Semantics engineering with PLT Redex /

Search Tools: