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 201 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 113 Ft

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardback

56 014 Ft

Team Topologies Matthew Skelton

Paperback

9 170 Ft

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

Paperback

38 026 Ft

Introduction to the Theory of Computation Michael Sipser

Hardback

138 364 Ft

Requirements Engineering Fundamentals Klaus Pohl

Paperback

11 886 Ft

Database Design and Relational Theory C. J. Date

Paperback

16 198 Ft

Introduction to the Design & Analysis of Algorithms Anany Levitin

Paperback

25 937 Ft

Practice of Programming Brian Kernighan

Paperback

17 799 Ft

Programming Language Pragmatics Michael L. Scott

Paperback

29 550 Ft

Type-driven Development with Idris Edwin Brady

Paperback

19 469 Ft

Seven Languages in Seven Weeks Bruce Tate

Paperback

12 515 Ft

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

Hardback

101 364 Ft

C Programming Language Brian W. Kernighan

Paperback

22 314 Ft

Lambda Calculus with Types Henk Barendregt

Hardback

41 783 Ft

Inner Work Robert A. Johnson

Paperback

5 311 Ft

Seven More Languages in Seven Weeks Bruce Tate

Paperback

13 514 Ft

Concrete Mathematics Ronald Graham

Hardback

31 618 Ft

Programming in Lua, fourth edition Roberto Ierusalimschy

Paperback

14 380 Ft

Mathematics for Computer Science Lehman Eric

Hardback

23 387 Ft

Operating System Concepts Greg Gagne

Sheet

38 114 Ft

Computer Systems David R. O'Hallaron

Hardback

96 437 Ft

Four Pillars of Geometry John Stillwell

Hardback

15 624 Ft

Hacker's Delight Henry Warren

Hardback

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