Paperback
Add to list Added to list The Little Typer
Daniel P. Friedman (Professor, Indiana University),David Thrane Christiansen
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Available to order, ships in approx 2 weeksAvailable to order