Introduction to the Theory of Programming Languages More Books Like This

Models of Computation Models of Computation
Models of Computation
2009
Programming Languages and Operational Semantics Programming Languages and Operational Semantics
Programming Languages and Operational Semantics
2014
Concepts and Semantics of Programming Languages 1 Concepts and Semantics of Programming Languages 1
Concepts and Semantics of Programming Languages 1
2021
The Functional Approach to Programming The Functional Approach to Programming
The Functional Approach to Programming
1998
Introduction to Computation Introduction to Computation
Introduction to Computation
2022
Programming Languages: Principles and Paradigms Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
2010
Central European Functional Programming School Central European Functional Programming School
Central European Functional Programming School
2008
ML for the Working Programmer ML for the Working Programmer
ML for the Working Programmer
1996
Thinking Functionally with Haskell Thinking Functionally with Haskell
Thinking Functionally with Haskell
2014
Compiler Design Compiler Design
Compiler Design
2013
Programming with Higher-Order Logic Programming with Higher-Order Logic
Programming with Higher-Order Logic
2012
Introduction to Compiler Design Introduction to Compiler Design
Introduction to Compiler Design
2011
Verified Functional Programming in Agda Verified Functional Programming in Agda
Verified Functional Programming in Agda
2016
Trends in Functional Programming Volume 7 Trends in Functional Programming Volume 7
Trends in Functional Programming Volume 7
2011
Programming in Haskell: Second Edition Programming in Haskell: Second Edition
Programming in Haskell: Second Edition
2016