Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 55.14 MB
Format: PDF, ePub, Docs
View: 7320
Download Read Online
This book, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system.

Pi Nin Ya Am

Author: Yann Martel
ISBN: 9789751020109
Size: 13.96 MB
Format: PDF
View: 6626
Download Read Online
After the tragic sinking of a cargo ship in the Pacific Ocean, one lifeboat remains.

Intelligent Computer Mathematics

Author: Herman Geuvers
Publisher: Springer
ISBN: 3319620754
Size: 35.60 MB
Format: PDF, Mobi
View: 6581
Download Read Online
Keywords: tion · Correct-by-construction Proof automation software · Equivalence
· Type-driven · Equality development · Proof by reflec1 Introduction Proofs
assistants like Coq [1] and programming languages like Agda [17] and Idris [3]
are based on Intensional Type Theories that contain two notions of equality:
propositional equality, that can be manipulated in the language, and judgemental
(or definitional) equality. Propositional equality corresponds to the mathematical
notion: this is ...


Author: Hüseyin Rahmi Gürpinar
ISBN: 9786051418483
Size: 40.24 MB
Format: PDF, ePub, Mobi
View: 7593
Download Read Online