Related Books
Language: en
Pages: 744
Pages: 744
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: 811
Pages: 811
Type: BOOK - Published: 2013-04-25 - Publisher: Cambridge University Press
Now in its third edition, this highly successful textbook is widely regarded as the 'bible of computer algebra'.