Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris presents the foundations of dependent types and their use in encoding program proofs. Centered on Idris, the book offers an introduction to type-based reasoning for readers exploring programming languages, formal verification, and the connection between software and mathematical logic.
About This Book
Introduction to Dependent Types with Idris explores dependent types, a powerful concept at the intersection of programming and mathematical logic.
The book focuses on encoding program proofs in types, presenting the subject through the Idris programming language.
It is intended as an introductory resource for readers interested in type systems, proof-oriented programming, and formal reasoning about software.
Reviews
No reviews yet. Be the first to review this book!