Duane Bibby的作品

The Little Typer

Daniel P. Friedman, David Thrane Christiansen, Duane Bibby, Robert Harper, Conor Mcbride

评分 9.9分

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 first-class part of a language, and are

The Little MLer

Matthias Felleisen, Daniel P. Friedman, Duane Bibby, Robin Milner

评分 8.4分

The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes,