Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Functional

The Little Typer (The MIT Press)


Free Shipping Included! The Little Typer (The MIT Press) by The MIT Press at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent


Product 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.

Additional Information

Manufacturer:The MIT Press
Publisher:The MIT Press
Studio:The MIT Press
EAN:9780262536431
Item Size:0.81 x 9 x 9 inches
Package Weight:1.47 pounds
Package Size:7 x 0.81 x 0.81 inches

The Little Typer (The MIT Press) by The MIT Press

Buy Now:
The Little Typer (The MIT Press)

Brand: The MIT Press
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$38.00


Quantity:  

 


View More In Functional.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by The MIT Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9781785280849, isbn: 1785280848,
Harness the power of Scala to program Spark and analyze tonnes of data in the blink of an eye!About This BookLearn Scala's sophisticated type system that combines Functional Programming and object-oriented conceptsWork on a wide array of applications...

mpn: 31287103, ean: 9781593272838, isbn: 1593272839,
It's all in the name: Learn You a Haskell for Great Good! is a hilarious, illustrated guide to this complex functional language. Packed with the author's original artwork, pop culture references, and most importantly, useful example code, this book t...

mpn: references, index, ean: 9783540652373, isbn: 354065237X,
This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning...

ean: 9781491977682, isbn: 149197768X,
If you’re just getting started with Perl 6, this is the book you want, whether you’re a programmer, system administrator, or web hacker. Perl 6 isn’t just another version of the language—it’s a modern reinvention of Perl, suitable for almos...

ean: 9781680503005, isbn: 1680503006,
Behind every programming language lies a vision of how programs should be built. The vision behind Clojure is of a radically simple language framework holding together a sophisticated collection of programming features. Learning Clojure involves much...

ean: 9781979788786, isbn: 1979788782,
If you’ve had trouble trying to learn Functional Programming (FP), you’re not alone. In this book, Alvin Alexander — author of the Scala Cookbook and former teacher of Java and Object-Oriented Programming (OOP) classes — writes about his own ...

ean: 9781680502992, isbn: 1680502999,
This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.6 and beyond. Explore functional programming without the academic overtones (tell me about monads just one more time). Create concurrent applications...

ean: 9781527503717, isbn: 1527503712,
The amount of digital systems supporting our daily life is increasing continuously. Improved technical facilities for their production have led to growing challenges for engineers and scientists working in the Boolean domain. A Boolean variable can o...

ean: 9780792322290, isbn: 0792322290,
Spline functions entered Approximation Theory as solutions of natural extremal problems. A typical example is the problem of drawing a function curve through given n + k points that has a minimal norm of its k-th derivative. Isolated facts about the ...

mpn: 13 black & white illustrations, biograph, ean: 9781475782547, isbn: 1475782543,
This book is meant as a present to honor Professor on the th occasion of his 70 birthday. It collects refereed contributions from sixty-one mathematicians from eleven countries. They cover many different areas of research related to the work of Profe...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.