Introduction to Dependent Types with Idris

Encoding Program Proofs in Types

Auteurs

• Boro Sitnikovski

Paramètres

• 176 pages
• 7 heures de lecture

• Informatique, programmation

En savoir plus sur le livre

The book delves into dependent types, enabling developers to create proof-carrying code using the Idris programming language. It covers the mathematical foundations essential for understanding Idris, along with practical applications for writing software and proving its properties mathematically. This resource is ideal for those looking to enhance their programming skills through a rigorous, proof-oriented approach.

Achat du livre

• Année de publication: 2023
• Reliure: (souple)