The Little Typer by Daniel P. Friedman (English) Paperback Book

The Nile on eBay   FREE SHIPPING UK WIDE   The Little Typer by Daniel P. Friedman, David Thrane Christiansen, Duane Bibby, Robert Harper, Conor McBride

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

FORMATPaperback LANGUAGEEnglish CONDITIONBrand New Publisher Description

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 types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer.The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursion-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

Author Biography

Daniel P. Friedman is Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); and The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and Jason Hemann).David Thrane Christiansen is a member of the technical staff at Galois, Inc., in Portland, Oregon.Robert Harper is a Professor of Computer Science at Carnegie Mellon University.

Details ISBN0262536439 Author Conor McBride Pages 424 Year 2018 ISBN-10 0262536439 ISBN-13 9780262536431 Format Paperback Imprint MIT Press Place of Publication Cambridge, Mass. Country of Publication United States DEWEY 005.1015113 Birth 1944 Affiliation Indiana University Position Professor Audience Age 18-99 Publication Date 2018-09-18 Language English Illustrator Duane Bibby UK Release Date 2018-09-18 AU Release Date 2018-09-18 NZ Release Date 2018-09-18 US Release Date 2018-09-18 Publisher MIT Press Ltd Series The MIT Press Alternative 9780262351003 Audience Tertiary & Higher Education Illustrations 23 b&w illus.; 46 Illustrations We've got this

At The Nile, if you're looking for it, we've got it.With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love!

30 DAY RETURN POLICY

No questions asked, 30 day returns!

FREE DELIVERY

No matter where you are in the UK, delivery is free.

SECURE PAYMENT

Peace of mind by paying through PayPal and eBay Buyer Protection TheNile_Item_ID:123702817;