Cover of Types and Programming LanguagesQA0076.70000000.P54 2002
Must-Read

Types and Programming Languages

by Benjamin Pierce

✓ Read

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 languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduct...

First published 2002646 pages
005
Category
Computer Science
Priority
Must-Read
Author works
1
Editions known
1
Classification
Dewey (DDC)
005
Library of Congress (LCC)
QA0076.70000000.P54 2002QA0076.70000000.P54 2002eb
Subjects
005.13COMPUTERSGeneralLangages de programmationLinguagem de programação (textos avançados)ProgrammeertalenProgramming LanguagesProgramming languages (Electronic computers)Qa76.7 .p54 2002
This edition
ISBN 9780262303828EnglishFirst-edition ISBN: 9780262162098
DATE DUE
First published2002
StatusREAD
Open LibraryGoogle BooksGoodreadsWorldCat

On the Same Shelf

Books one call-number away from QA0076.70000000.P54 2002 in the LCC stacks.

Cover of The Psychology of Computer Programming
QA0076.60000000.W45 1998

The Psychology of Computer Programming

Gerald Weinberg

Cover of TouchDevelop
QA0076.62500000

TouchDevelop

R. Nigel Horspool, Nikolai Tillmann

Cover of Programming Language Pragmatics
QA0076.70000000.S38 2000

Programming Language Pragmatics

Michael Scott

Cover of The C Programming Language
QA0076.73000000.C15 .K4718 1991

The C Programming Language

Brian W. Kernighan and Dennis M. Ritchie

More in Computer Science

Cover of Code

Code

Charles Petzold

Cover of Code: The Hidden Language of Computer Hardware and Software

Code: The Hidden Language of Computer Hardware and Software

Charles Petzold

Cover of Compilers: Principles Techniques and Tools

Compilers: Principles Techniques and Tools

Aho, Lam, Sethi, and Ullman

Cover of Computer Networks

Computer Networks

Andrew S. Tanenbaum

Cover of Computer Systems: A Programmer's Perspective

Computer Systems: A Programmer's Perspective

Bryant & O'Hallaron

Cover of Design Patterns

Design Patterns

Erich Gamma et al.

View all Computer Science books →
← Back to browse