Related Books

Introduction to Type®
Language: en
Pages: 46

Introduction to Type®

Authors:
Categories:
Type: BOOK - Published: - Publisher: CPP

GET EBOOK

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
Facets of Type
Language: en
Pages: 60

Facets of Type

Authors: Gary Hartzler
Categories: Psychology
Type: BOOK - Published: 2004 - Publisher: Telos Publications

GET EBOOK

A Gentle Introduction to Functional Programming in English [Third Edition]
Language: en
Pages: 212

A Gentle Introduction to Functional Programming in English [Third Edition]

Authors: Antoine Bossard
Categories: Mathematics
Type: BOOK - Published: 2020-04-16 - Publisher: 株式会社 オーム社

GET EBOOK

英語とHaskellで学ぶ関数プログラミンの入門書、改訂3版登場！ （日本名：関数プログラミング入門，in English！［第3版�
Introduction to VHDL
Language: en
Pages: 500

Introduction to VHDL

Authors: R.D. Hunter
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: Springer Science & Business Media

GET EBOOK

Covers all aspects of the VHDL language