The Stay-In Weather Sale: 20% off select books
Used, New, and Out of Print Books - We Buy and Sell - Powell's Books
Cart |
|  my account  |  wish list  |  help   |  800-878-7323
Hello, | Login
MENU
  • Browse
    • New Arrivals
    • Bestsellers
    • Award Winners
    • Signed Preorders
    • Signed Editions
    • Digital Audio Books
    • See All Subjects
  • Used
  • Staff Picks
    • Staff Picks
    • Picks of the Month
    • Book Club Subscriptions
    • 25 PNW Books to Read Before You Die
    • 25 Books From the 21st Century
    • 25 Memoirs to Read Before You Die
    • 25 Global Books to Read Before You Die
    • 25 Women to Read Before You Die
    • 25 Books to Read Before You Die
  • Gifts + Gift Cards
    • Gift Cards & eGift Cards
    • Powell's Souvenirs
    • Read Rise Resist Gear
    • Journals & Notebooks
    • Games
    • Socks
  • Sell Books
    • Sell Books Online
  • Blog
  • Events
  • Find A Store
McAfee Secure

  • The Stay-In Weather Sale
  • Kids' Graphic Novels Sale
  • Our 2021 TBR List
  • Books That Got Us Through 2020
  • Winter 20% Off Sale
  • Save 20% on OBOB Books

Visit Our Stores


Janice P. Nimura: Stand in the Place Where They Were (0 comment)
I’ve always loved historic house museums, loved peering beyond the velvet rope into a Victorian bedroom or a colonial kitchen and imagining the ghosts that wore those dresses, or worked the handle of that butter churn, or laid the fire in that grate... 

Read More»
  • Eden Dawn: Three Winter Dates to Do in Portland Right Now (0 comment)
  • Powell's Staff: All That's on Our 2021 TBR List (1 comment)

{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##

Little Typer

by Daniel P Friedman, David Thrane Christiansen, Duane Bibby
Little Typer

  • Comment on this title
  • Synopses & Reviews

ISBN13: 9780262536431
ISBN10: 0262536439
Condition: Standard


All Product Details

View Larger ImageView Larger Images
$26.00
Used Trade Paperback
Ships in 1 to 3 days
Add to Cart
Add to Wishlist
QtyStore
2Burnside

Synopses & Reviews

Synopsis

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.


What Our Readers Are Saying

Be the first to share your thoughts on this title!




Product Details

ISBN:
9780262536431
Binding:
Trade Paperback
Publication date:
09/18/2018
Publisher:
MIT PRESS
Series info:
Mit Press
Pages:
424
Height:
.80IN
Width:
7.00IN
Age Range:
18 and up
Grade Range:
13 and up
Illustration:
Yes
Author:
David Thrane Christiansen
:
Duane Bibby
Author:
Duane Bibby
Author:
Daniel P. Friedman
Author:
Daniel P Friedman

Ships free on qualified orders.
Add to Cart
$26.00
List Price:$38.00
Used Trade Paperback
Ships in 1 to 3 days
Add to Wishlist
QtyStore
2Burnside

More copies of this ISBN

  • New, Trade Paperback, $38.00
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
  • Twitter
  • Facebook
  • Pinterest
  • Instagram

  • Help
  • Guarantee
  • My Account
  • Careers
  • About Us
  • Security
  • Wish List
  • Partners
  • Contact Us
  • Shipping
  • Sitemap
  • © 2021 POWELLS.COM Terms

{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##