Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Introduction to Dependent Types with Idris, Boro Sitnikovski
- Taal
- Jaar van publicatie
- 2023
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.