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
2008
Types and Programming Languages Types and Programming Languages
Types and Programming Languages
2002
Rigorous Software Development Rigorous Software Development
Rigorous Software Development
2011
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
2008
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
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2022
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2022
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Handbook of Automated Reasoning Handbook of Automated Reasoning
Handbook of Automated Reasoning
2001
Mathematics of Program Construction Mathematics of Program Construction
Mathematics of Program Construction
2022
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
An Introduction to Programming with Specifications (Enhanced Edition)
2012