Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
This item is currently out of stock
Basic Simple Type Theory By Hindley, J. Roger
Be the first to rate this product 
×
Check Products in stock Products in stock

Sponsored products for you

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Computer Sciences
    ISBN
    9780521054225
    Item EAN
    2724447789684
    People
    Author
    Hindley, J. Roger
    People
    Publisher
    Cambridge University Press
    Category Type
    Computer Sciences
    ISBN
    9780521054225
    Item EAN
    2724447789684
    People
    Author
    Hindley, J. Roger
    People
    Publisher
    Cambridge University Press
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    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 focussing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved

    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 focussing 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. The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as introduction to type theory for computer scientists.

    • Book Name:Basic Simple Type Theory
    • Auother :Hindley, J. Roger
    • Publisher :Cambridge University Press
    • ISBN :9780521054225
    • Book Type :General Computer
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit