Types Programming Languages by Pierce Benjamin (55 results)
- Softcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Fair
£ 7.60
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.BooksRun
Contact seller5-star sellerCondition: Used - Fair
£ 40.69
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Fair. 1. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.
- Hardcover
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
Contact seller5-star sellerCondition: Used - Good
£ 42.46
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
- Hardcover
Seller: World of Books Inc, Montgomery, IL, U.S.A.World of Books Inc
Contact seller2-star sellerCondition: Used - Good
£ 44.59
Free ShippingShips within U.S.A.Quantity: 1 available
Hardback. Condition: Good. A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming la…nguages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
£ 42.46
£ 2.77 shippingShips within U.S.A.Quantity: 1 available
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.
- Hardcover
Seller: Greenworld Books, arlington, TX, U.S.A.Greenworld Books
Contact seller5-star sellerCondition: Used - Very good
£ 56.40
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: very_good. Fast Free Shipping â" Very Good condition book with a firm cover and clean pages. Shows normal use and some light wear or limited notes markings. A solid, nice copy to enjoy.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 60.28
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Poor
£ 49.99
£ 13.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1350grams, ISBN:9780262162098.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Fair
£ 49.99
£ 13.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1400grams, ISBN:9780262162098.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 64.09
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 69.91
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.99
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: thebookforest.com, San Rafael, CA, U.S.A.thebookforest.com
Contact seller4-star sellerCondition: New
£ 66.96
£ 3.69 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 55.98
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 61.52
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 70.63
£ 8.16 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 80.59
£ 1.95 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: INDOO, Avenel, NJ, U.S.A.INDOO
Contact seller5-star sellerCondition: Used - As new
£ 82.61
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread copy in mint condition.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 80.67
£ 1.95 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
- Hardcover
Seller: INDOO, Avenel, NJ, U.S.A.INDOO
Contact seller5-star sellerCondition: New
£ 82.69
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Brand New.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 79.10
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New. pp. xxi + 623 Illus.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 85.38
£ 2.95 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. xxi + 623.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 83.73
£ 7.77 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 73.92
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
hardcover. Condition: New.
- Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 92.96
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: new. Hardcover. A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of prog…ramming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. A comprehensive introduction to type systems and programming languages. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 78.71
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New. In English.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 76.40
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: New.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 87.31
£ 8.55 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. xxi + 623.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 80.14
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
- Hardcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 91.47
£ 8.16 shippingShips from Ireland to U.S.A.Quantity: 10 available
Condition: New. 2002. 1st Edition. Hardcover. A comprehensive introduction to type systems and programming languages. Num Pages: 648 pages, 60 illus. BIC Classification: UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 214 x 34. Weight in Grams: 1330.… . . . . .
