Skip to main content
PBS logo
 
 

Search - The Little Typer (The MIT Press)

The Little Typer (The MIT Press)
The Little Typer - The MIT Press
Author: Daniel P. Friedman, David Thrane Christiansen
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 p...  more »
ISBN-13: 9780262536431
ISBN-10: 0262536439
Publication Date: 9/18/2018
Pages: 424
Rating:
  ?
0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.