Theories of Programming Languages More Books Like This

Practical Foundations for Programming Languages Practical Foundations for Programming Languages
Practical Foundations for Programming Languages
2012
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
2009
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2010
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2008
Types and Programming Languages Types and Programming Languages
Types and Programming Languages
2002
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
2007
Rigorous Software Development Rigorous Software Development
Rigorous Software Development
2011
Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
2007
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
2008
Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
2007
Automated Reasoning Automated Reasoning
Automated Reasoning
2008
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2008
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2010
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2022