Related Books
Language: en
Pages: 774
Pages: 774
Type: BOOK - Published: 2017-03-13 - Publisher: Simon and Schuster
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2017-04-07 - Publisher: Manning
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking
Language: en
Pages: 168
Pages: 168
Type: BOOK - Published: 2018-12-26 - Publisher: Packt Publishing Ltd
A fast paced guide for JavaScript developers for writing safe, fast, and reusable code by leveraging ResaonML's strong static type system Key FeaturesReduce cod
Language: en
Pages: 418
Pages: 418
Type: BOOK - Published: 2018-09-18 - Publisher: MIT Press
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a
Language: en
Pages: 437
Pages: 437
Type: BOOK - Published: 2022-06-07 - Publisher: MIT Press
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati
