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   Mobile Apps

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 Mobile Apps.

 


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: 9780321917010, isbn: 0321917014,
Write Truly Great iOS and OS X Code with Objective-C 2.0!   Effective Objective-C 2.0 will help you harness all of Objective-C’s expressive power to write OS X or iOS code that works superbly well in production environments. Using the concise...

mpn: 978-1-59327-756-7, ean: 9781593277567, isbn: 1593277563,
Apple’s Swift is a powerful, beginner-friendly programming language that anyone can use to make cool apps for the iPhone or iPad. In Coding iPhone Apps for Kids, you’ll learn how to use Swift to write programs, even if you’ve never programmed b...

ean: 9781484226520, isbn: 1484226526,
Assemble the complete stack required to build a modern web app using React: MongoDB (a NoSQL database) and Express (a framework for web application servers), which runs on Node (JavaScript on the server side), complement React very nicely. This book ...

mpn: 9781491931653, ean: 9781491931653, isbn: 1491931655,
In today’s app-driven era, when programs are asynchronous and responsiveness is so vital, reactive programming can help you write code that’s more reliable, easier to scale, and better-performing. With this practical book, Java developers will fi...

ean: 9781617292859, isbn: 1617292850,
Summary More than ever, the web is a universal platform for all types of applications, and JavaScript is the language of the web. If you're serious about web development, it's not enough to be a decent JavaScript coder. You need to be ninja-stealthy,...

mpn: 9780134706054, ean: 9780134706054, isbn: 0134706056,
Android Programming: The Big Nerd Ranch Guide is an introductory Android book for programmers with Java experience.  Based on Big Nerd Ranch’s popular Android bootcamps, this guide will lead you through the wilderness using hands-on example app...

mpn: 9781119363026, ean: 9781119363026, isbn: 1119363020,
See all the things coding can accomplishThe demand for people with coding know-how exceeds the number of people who understand the languages that power technology. Coding All-in-One For Dummies gives you an ideal place to start when you're ready to a...

mpn: 9781617293290, ean: 9781617293290, isbn: 1617293296,
Summary Kotlin in Action guides experienced Java developers from the language basics of Kotlin all the way through building applications to run on the JVM and Android devices. Foreword by Andrey Breslav, Lead Designer of Kotlin. Purchase of the print...

mpn: 48038706, ean: 9781484228623, isbn: 1484228626,
Extend FileMaker's built-in functionality and totally customize your data management environment with specialized functions and menus to super-charge the results and create a truly unique and focused experience. This book includes everything a beginn...

mpn: 9780134682334, ean: 9780134682334, isbn: 0134682335,
Updated for Xcode 8, Swift 3, and iOS 10, iOS Programming: The Big Nerd Ranch Guide leads you through the essential concepts, tools, and techniques for developing iOS applications. After completing this book, you will have the know-how and the conf...



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