Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 64.33 MB
Format: PDF, ePub, Docs
View: 2295
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
Publisher:
ISBN: 9789751020109
Size: 15.63 MB
Format: PDF
View: 3876
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: 71.52 MB
Format: PDF, Kindle
View: 612
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 ...

Eytan Marka Giyer

Author: Lauren Weisberger
Publisher:
ISBN: 9789752104389
Size: 16.22 MB
Format: PDF
View: 371
Download Read Online
Andrea Sachs, a small-town girl fresh out of college, lands the job "a million girls would die for.