Celebrate Women's History Month
Genres

Pl Theory


Pl Theory Books

Types and Programming Languages (Mit Press)
Essentials of Programming Languages
Type Theory and Formal Proof: An Introduction
Software Foundations
Advanced Topics in Types and Programming Languages
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
The Denotational Description of Programming Languages: An Introduction
Term Rewriting and All That
Semantics Engineering with PLT Redex
Semantics and Logics of Computation (Publications of the Newton Institute, Series Number 14)
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Programming with Higher-Order Logic
Principles of Program Analysis
Program Logics for Certified Compilers
More pl theory books...