Skip to main content alibris logo
The Little Typer - Friedman, Daniel P, and Christiansen, David Thrane
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

loading
The Little Typer 2018, MIT Press, Cambridge

ISBN-13: 9780262536431

Trade paperback