Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

39 098 Ft

In stock at our supplier Shipping in 3-5 days

30-day return policy

Customers also purchased

Interactive Theorem Proving and Program Development Yves Bertot

Paperback

33 025 Ft

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardback

55 867 Ft

Team Topologies Matthew Skelton

Paperback

9 146 Ft

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

Paperback

37 926 Ft

Introduction to the Theory of Computation Michael Sipser

Hardback

137 999 Ft

Requirements Engineering Fundamentals Klaus Pohl

Paperback

11 854 Ft

Database Design and Relational Theory C. J. Date

Paperback

16 155 Ft

Introduction to the Design & Analysis of Algorithms Anany Levitin

Paperback

25 868 Ft

Practice of Programming Brian Kernighan

Paperback

17 752 Ft

Programming Language Pragmatics Michael L. Scott

Paperback

29 472 Ft

Type-driven Development with Idris Edwin Brady

Paperback

19 417 Ft

Seven Languages in Seven Weeks Bruce Tate

Paperback

12 482 Ft

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

Hardback

101 097 Ft

C Programming Language Brian W. Kernighan

Paperback

22 255 Ft

Lambda Calculus with Types Henk Barendregt

Hardback

41 673 Ft

Inner Work Robert A. Johnson

Paperback

5 297 Ft

Seven More Languages in Seven Weeks Bruce Tate

Paperback

13 479 Ft

Concrete Mathematics Ronald Graham

Hardback

31 535 Ft

Programming in Lua, fourth edition Roberto Ierusalimschy

Paperback

14 342 Ft

Mathematics for Computer Science Lehman Eric

Hardback

23 326 Ft

Operating System Concepts Greg Gagne

Sheet

38 014 Ft

Computer Systems David R. O'Hallaron

Hardback

96 183 Ft

Four Pillars of Geometry John Stillwell

Hardback

15 583 Ft

Hacker's Delight Henry Warren

Hardback

21 189 Ft

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.