Related Books

Type-Driven Development with Idris
Language: en
Pages: 744

Type-Driven Development with Idris

Authors: Edwin Brady
Categories: Computers
Type: BOOK - Published: 2017-03-13 - Publisher: Simon and Schuster

GET EBOOK

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
Type-Driven Development with Idris
Language: en
Pages: 0

Type-Driven Development with Idris

Authors: Edwin Brady
Categories: Computers
Type: BOOK - Published: 2017-04-07 - Publisher: Manning

GET EBOOK

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
The Little Typer
Language: en
Pages: 418

The Little Typer

Authors: Daniel P. Friedman
Categories: Computers
Type: BOOK - Published: 2018-09-18 - Publisher: MIT Press

GET EBOOK

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
Learn Type-Driven Development
Language: en
Pages: 168

Learn Type-Driven Development

Authors: Yawar Amin
Categories: Computers
Type: BOOK - Published: 2018-12-26 - Publisher: Packt Publishing Ltd

GET EBOOK

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
Program = Proof
Language: en
Pages: 539

Program = Proof

Authors: Samuel Mimram
Categories:
Type: BOOK - Published: 2020-07-03 - Publisher:

GET EBOOK

This course provides a first introduction to the Curry-Howard correspondence between programs and proofs, from a theoretical programmer's perspective: we want t