Verified Functional Programming in Agda More Books Like This

Logic And Declarative Language Logic And Declarative Language
Logic And Declarative Language
2004
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
Concepts and Semantics of Programming Languages 1 Concepts and Semantics of Programming Languages 1
Concepts and Semantics of Programming Languages 1
2021
Fundamentals of the Theory of Computation Fundamentals of the Theory of Computation
Fundamentals of the Theory of Computation
1998
Handbook of Automated Reasoning Handbook of Automated Reasoning
Handbook of Automated Reasoning
2001
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition) Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022
Formal Methods in Computer Science Formal Methods in Computer Science
Formal Methods in Computer Science
2019
Computer Science: Questions and Answers Computer Science: Questions and Answers
Computer Science: Questions and Answers
2017
An Introduction to the Analysis of Algorithms An Introduction to the Analysis of Algorithms
An Introduction to the Analysis of Algorithms
2018
Computer Arithmetic and Formal Proofs Computer Arithmetic and Formal Proofs
Computer Arithmetic and Formal Proofs
2017
Coherent Systems Coherent Systems
Coherent Systems
2004
Mathematics and Programming for Machine Learning with R Mathematics and Programming for Machine Learning with R
Mathematics and Programming for Machine Learning with R
2020
Code Optimization In the Polyhedron Model : Improving the Efficiency of Parallel Loop Nests Code Optimization In the Polyhedron Model : Improving the Efficiency of Parallel Loop Nests
Code Optimization In the Polyhedron Model : Improving the Efficiency of Parallel Loop Nests
2011
Learning Functional Programming Learning Functional Programming
Learning Functional Programming
2022