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: 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'.
Language: en
Pages: 284
Pages: 284
Type: BOOK - Published: 2016-02-01 - Publisher: Morgan & Claypool
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in t
Language: en
Pages: 457
Pages: 457
Type: BOOK - Published: 2014-09-01 - Publisher: Simon and Schuster
Summary Functional Programming in Scala is a serious tutorial for programmers looking to learn FP and apply it to the everyday business of coding. The book guid