Items related to Basic Simple Type Theory (Cambridge Tracts in Theoretical...
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) - Hardcover
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" may belong to another edition of this title.
Book 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 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.
From the Back Cover:
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.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 which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1997
- ISBN 10 0521465184
- ISBN 13 9780521465182
- BindingHardcover
- Edition number1
- Number of pages200
- Rating
Buy New
Learn more about this copy
US$ 119.64
Shipping:
US$ 3.99
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Published by
Cambridge University Press
(1997)
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2416190003850
Buy New
US$ 119.64
Convert currency
Stock Image
Basic Simple Type Theory
Published by
Cambridge University Press
(1997)
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521465182_lsuk
Buy New
US$ 113.01
Convert currency
Stock Image
Basic Simple Type Theory
Published by
Cambridge University Press
(1997)
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # 7cd9ffebf70fba14c91642073425edfe
Buy New
US$ 116.10
Convert currency
Stock Image
Basic Simple Type Theory
Published by
Cambridge University Press
(1997)
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521465182
Buy New
US$ 130.31
Convert currency
Stock Image
Basic Simple Type Theory
Published by
Cambridge Univ Pr
(1997)
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Brand New. 186 pages. 9.50x6.25x0.50 inches. In Stock. Seller Inventory # __0521465184
Buy New
US$ 129.46
Convert currency
Stock Image
BASIC SIMPLE TYPE THEORY (CAMBRI
Published by
Cambridge University Press
(1997)
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 0.99. Seller Inventory # Q-0521465184
Buy New
US$ 179.22
Convert currency
Seller Image
Basic Simple Type Theory
Published by
Cambridge University Press
(2002)
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 conc. Seller Inventory # 446936631
Buy New
US$ 135.59
Convert currency
Seller Image
Basic Simple Type Theory
Published by
Cambridge University Press
(1997)
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.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 which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists. Seller Inventory # 9780521465182
Buy New
US$ 186.82
Convert currency