The Little Typer Paperback by Daniel P. Friedman and David Thrane Christiansen; Illustrations by Duane Bibby; Foreword by Robert Harper, Afterward by Conor McBride Condition:New Stewart Graham Lee is an

Name: The Little Typer Paperback by Daniel P. Friedman and David Thrane Christiansen; Illustrations by Duane Bibby; Foreword by Robert Harper, Afterward by Conor McBride Condition:New Stewart Graham Lee is an
Brand: webdevsolutions.tech
SKU: 88961326564
Price: 65.70 USD
Availability: InStock
Rating: 4.3483 (26 reviews)

The Little Typer Paperback by Daniel P. Friedman and David Thrane Christiansen; Illustrations by Duane Bibby; Foreword by Robert Harper, Afterward by Conor McBride Condition:New Stewart Graham Lee is anProduct Details Publisher: The MIT Press (2018 09 18) Language: English Paperback: 424 pages ISBN 13: 9780262536431 Item Weight: 652. 05 grams Dimensions: 9. 0 x 7. 0 x 0. 74 cm 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 much more powerful than other kinds of types; using just one language for

SKU: 88961326564 · From webdevsolutions.tech

4.3

USD65.70 USD115.70

Pay in 4 interest-free payments of $16.43 Learn more