The Little Typer (Mit Press)
I will be using this book for:
Log in to remove ads

The Little Typer (Mit Press)

by Daniel P. Friedman, David Thrane Christiansen

Education Programming Computer Science
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

An accessible introduction to dependent types and the Pie language, guiding readers through the fundamentals of type theory.

ISBN-13 9780262536431 ASIN 0262536439 Views 238 Publisher The MIT Press Year 2018 Edition Illustrated Format Paperback Product Group Book Pages 424 Illustrator Bibby, Duane Created April 24, 2026 Updated September 29, 2026
About This Book

The Little Typer introduces the concepts of dependent types using the language Pie.

Readers explore the foundations of type theory through a structured, example-driven approach.

The book is designed for those new to dependent types and formal reasoning.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: