Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology   Mobile Phones, Tablets & E-Readers

The Little Typer (The MIT Press)


On Sale Now! Free Shipping Included! Save 10% on the The Little Typer (The MIT Press) by The MIT Press at Translate This Website. 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
$34.57
You Save: 9%


Quantity:  

 


 


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


By Brand: O'Reilly Media
ean: 9781449330897, isbn: 1449330894,
Get moving with Dart, the development platform that helps you build high-performance HTML5 apps for the modern Web. With this guide, you’ll take a hands-on tour of the Dart language, libraries, and tools—including its editor and virtual machine...

By O REILLY
mpn: 47223195, ean: 9781680502350, isbn: 1680502352,
Discover the do's and don'ts involved in crafting readable Swift code as you explore common Swift coding challenges and the best practices that address them. From spacing, bracing, and semicolons to proper API style, discover the whys behind each rec...

By Oak Leaf Enterprises, Incorporated
ean: 9780988232778, isbn: 0988232774,
I have been trying to learn code for that past couple weeks with Apples Swift Guide and YouTube videos but was learning slow as I would get confused. Last night I got the demo of this book and read the first 50 pages. I felt that I learned so much in...

By Packt Publishing - ebooks Account
ean: 9781788299053, isbn: 1788299051,
Explore why ELM is a great alternative to using pure JavaScript and other JS-based solutions by building complete apps and websites.Key FeaturesDevelop your own scalable and modular web applications with Elm to make web development less messy compare...

By Big Nerd Ranch Guides
ean: 9780135161630, isbn: 0135161630,
Kotlin is a statically typed programming language designed to interoperate with Java and fully supported by Google on the Android operating system. Based on Big Nerd Ranch’s popular Kotlin Essentials course, this guide shows you how to work eff...

By Packt Publishing
ean: 9781788399975, isbn: 1788399978,
Get to grips with modern software demands by learning the effective uses of Rust's powerful memory safety.Key FeaturesLearn and improve the sequential performance characteristics of your softwareUnderstand the use of operating system processes in a h...

By Pearson
ean: 9780134444307, isbn: 0134444302,
For courses in Android Programming.   Thinking like a developer — from the start. Created by world-renowned programming instructors Paul and Harvey Deitel, Android How to Program, Third Edition introduces the dynamic world of Android smartpho...

By O'Reilly Media
ean: 9781491992470, isbn: 1491992476,
iOS 11, Swift 4, and Xcode 9 provide many new APIs for iOS developers. With this cookbook, you’ll learn more than 170 proven solutions for tackling the latest features in iOS 11 and watchOS 4, including new ways to use Swift and Xcode to make your ...

By Peach Pit Press
ean: 9780321149312, isbn: 0321149319,
We know what you’re thinking. You’ve heard about AppleScript. You’ve heard that it can do amazing things. You’ve heard that it can automate away the tiring, redundant, repetitive tasks you do with the computer. All true. But you’re not sure...

By Razeware LLC
ean: 9781942878407, isbn: 1942878400,
Make Delightful Animations with Swift! There’s no denying it: creating animations is one of the most enjoyable parts of iOS development. Animations are fun to create, they breathe life into your user interface, and they make your app a delight to u...



Privacy Policy / Terms of Service
© 2018 - translateth.is. All Rights Reserved.