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
Synopsis
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
- LanguageEnglish
- Edition number1
- Number of pages200
- Rating
Search results for Basic Simple Type Theory (Cambridge Tracts in Theoretical...
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
Used
Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_393597697
Quantity: 1 available
Stock Image
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 1997
ISBN 10: 0521465184
ISBN 13: 9780521465182
Used
Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. *FREE DOMESTIC SHIPPING until Monday, April 7* First edition, first printing, 186 pp., hardcover, faint wear to cover edges else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1321004
Quantity: 1 available
Stock Image
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 1997
ISBN 10: 0521465184
ISBN 13: 9780521465182
Used
Hardcover
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Cloth. Condition: Very Good. Type: Book N.B. Small plain label to inside front cover. Slight rubbing to corners of boards and head and tail of spine. Seller Inventory # 056352
Quantity: 1 available
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
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190003850
Quantity: Over 20 available
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
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521465182_new
Quantity: Over 20 available
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
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521465182
Quantity: Over 20 available
Stock Image
Basic Simple Type Theory (Hardcover)
Published by
Cambridge University Press, Cambridge, 1997
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521465182
Quantity: 1 available
Stock Image
Basic Simple Type Theory
Published by
Cambridge University Press, 1997
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 500. Seller Inventory # C9780521465182
Quantity: Over 20 available
Stock Image
Basic Simple Type Theory
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 186 pages. 9.50x6.25x0.50 inches. In Stock. This item is printed on demand. Seller Inventory # __0521465184
Quantity: 1 available
Stock Image
Basic Simple Type Theory
Published by
Cambridge University Press CUP, 1997
ISBN 10: 0521465184
ISBN 13: 9780521465182
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 200. Seller Inventory # 26487783
Quantity: 4 available