Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    What I'm Giving | November 29, 2014

    Neil Patrick Harris: IMG Neil Patrick Harris: What I'm Giving



    At Powell's, we feel the holidays are the perfect time to share our love of books with those close to us. For this special blog series, we reached... Continue »

    spacer
Qualifying orders ship free.
$136.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Programming and Languages

This title in other editions

Cambridge Tracts in Theoretical Computer Science #0042: Basic Simple Type Theory

by

Cambridge Tracts in Theoretical Computer Science #0042: Basic Simple Type Theory Cover

 

Synopses & Reviews

Publisher Comments:

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists.

Synopsis:

An introduction to type theory for computer scientists.

Synopsis:

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

Synopsis:

An introduction to type theory for computer scientists.

Description:

Includes bibliographical references (p. 169-176) and index.

Table of Contents

Introduction; 1. The type-free calculus; 2. Assigning types to terms; 3. The principal-type algorithm; 4. Type assignment with equality; 5. A version using typed terms; 6. The correspondence with implication; 7. The converse principal-type algorithm; 8. Counting a type's inhabitants; 9. Technical details; Answers to starred exercises; Bibliography; Table of principal types; Index.

Product Details

ISBN:
9780521465182
Editor:
Van Rijsbergen, C. J.
Publisher:
Cambridge University Press
Editor:
Van Rijsbergen, C. J.
Author:
C. J. van Rijsbergen
Author:
Hindley, J. Roger
Author:
Hindley, Roger J.
Author:
Van Rijsbergen, C. J.
Location:
Cambridge, U.K. ;
Subject:
Programming Languages - General
Subject:
Programming - General
Subject:
Computer Mathematics
Subject:
Programming - Software Development
Subject:
Discrete Mathematics
Subject:
Programming languages (electronic computers)
Subject:
Type theory.
Subject:
Programming Languages.
Subject:
General Computers
Subject:
Software Engineering - Programming and Languages
Edition Description:
Hardcover
Series:
Cambridge Tracts in Theoretical Computer Science
Series Volume:
0042
Publication Date:
19970731
Binding:
Hardcover
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
10 line diagrams 1 table
Pages:
200
Dimensions:
9.27x6.24x.59 in. .99 lbs.

Other books you might like

  1. Spring is Here New Board Book $6.99
  2. Ten Little Dinosaurs (Wiggle Eyes) New Hardcover $16.99
  3. The Camera :snapshots, movies,... Used Spiral/comb $4.50
  4. To Market, to Market Used Hardcover $5.50
  5. The clausal theory of types. New Hardcover $94.25
  6. Concise Notes on Software Engineering Used Trade Paper $4.50

Related Subjects

Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Mathematics » Advanced
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Cambridge Tracts in Theoretical Computer Science #0042: Basic Simple Type Theory New Hardcover
0 stars - 0 reviews
$136.25 In Stock
Product details 200 pages Cambridge University Press - English 9780521465182 Reviews:
"Synopsis" by , An introduction to type theory for computer scientists.
"Synopsis" by , This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.
"Synopsis" by , An introduction to type theory for computer scientists.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.