Opening book details…
Can I read INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types on EtoBox?
INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types by Boro Sitnikovski is a computer science book available to read on EtoBox.
What is INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types about?
<p>Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.</p><p>The first part of the book serves as an introduction to the language's underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then g
Who reads INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Boro Sitnikovski
- Publisher
- Apress L. P.
- Published
- 2023
- Language
- EN
- ISBN
- 9781484292594
- Category
- computer science
- Subjects
- Computer Science, Engineering, Technology
- Updated
- 2026-03-25
More by Boro Sitnikovski
Browse all works by Boro Sitnikovski
Similar books
- Gentle Introduction to Dependent Types with Idris — Boro Sitnikovski (2018)
- Certified Programming With Dependent Types — Adam Chlipala
- Introduction to Dependent Types with Idris (2023)
- Introduction to Mathematical Proofs : a Transition to Advanced Mathematics — Charles E. Roberts, Jr., Indiana State University, Terre Haute, USA (2014)
- Introduction to Mathematical Structures and Proofs || — Larry J. Gerstein (auth.) (2012)
- An Introduction to Data Types — J. Craig Cleaveland (1986)