Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Types and Programming Languages

Pierce

Language

English

Book Hardback

Libristo code: 04397456

Publishers MIT Press Ltd, January 2002

A type system is a syntactic method for automatically checking the absence of certain erroneous beha... Full description

Libristo code: 04397456

267 b

109.19 € VAT included

In stock at our supplier Shipping in 3-5 days

Delivery to Austria

30-day return policy

Customers also purchased

Interactive Theorem Proving and Program Development Yves Bertot

Paperback

89.39 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardback

151.69 €

Team Topologies Matthew Skelton

Paperback

25.99 €

Compilers: Principles, Techniques, and Tools A. V. Aho

Paperback

102.69 €

Introduction to the Theory of Computation Michael Sipser

Hardback

392.09 €

Requirements Engineering Fundamentals Klaus Pohl

Paperback

31.99 €

Database Design and Relational Theory C. J. Date

Paperback

43.59 €

Introduction to the Design & Analysis of Algorithms Anany Levitin

Paperback

69.89 €

Practice of Programming Brian Kernighan

Paperback

48.09 €

Programming Language Pragmatics Michael L. Scott

Paperback

83.79 €

Type-driven Development with Idris Edwin Brady

Paperback

52.79 €

Seven Languages in Seven Weeks Bruce Tate

Paperback

36.89 €

Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth

Hardback

273.19 €

C Programming Language Brian W. Kernighan

Paperback

60.09 €

Lambda Calculus with Types Henk Barendregt

Hardback

113.29 €

Inner Work Robert A. Johnson

Paperback

14.29 €

Seven More Languages in Seven Weeks Bruce Tate

Paperback

39.79 €

Concrete Mathematics Ronald Graham

Hardback

85.59 €

Programming in Lua, fourth edition Roberto Ierusalimschy

Paperback

38.79 €

Mathematics for Computer Science Lehman Eric

Hardback

62.89 €

Operating System Concepts Greg Gagne

Sheet

107.79 €

Computer Systems David R. O'Hallaron

Hardback

262.19 €

Four Pillars of Geometry John Stillwell

Hardback

42.19 €

Hacker's Delight Henry Warren

Hardback

57.49 €

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 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.