Plt


Practical Foundations for Programming Languages
Structure and Interpretation of Computer Programs
Programming Language Pragmatics
Formal Semantics of Programming Languages
Essentials of Programming Languages
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Blank 133x176
Programming Language F...
 
by
Philip Wadler
Types and Programming Languages (Mit Press)
Programming Languages: Application and Interpretation
The Little Typer (Mit Press)
Concepts of Programming Languages
The Reasoned Schemer
Type Theory and Functional Programming (International Computer Science Series)
Principles of Program Analysis
Compilers: Principles, Techniques, and Tools
A place to look up texts from the PLA, PLT and the bookroom.
3 members, last active 9 years ago