Cover Image

Types and programming languages

A type system is a syntactic method for authomatically checking the absence of certain erroneous behaviours by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming language design, high-performance compilers, and security. This text...

Full description

Saved in:

Bibliographic Details
Main Author:	Pierce, Benjamin C. (Author)
Format:	Book
Language:	English
Published:	Cambridge, Massachusetts MIT Press 2002
Subjects:	Programming languages (Electronic computers)
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Programming languages principles and practice
by: Louden, Kenneth C., et al.
Published: (2012)

Programming languages
Published: (1986)

Programming languages design and implementaion
by: Pratt
Published: (1995)

Programing languages paradigm and practice
by: ApplebylhDoris
Published: (1991)

Programming languages paradigm and practice
by: ApplebylhDoris

Concepts of programming languages
by: Sebesta, Robert W.
Published: (2016)

Concepts of programming languages
by: Sebesta
Published: (1999)

The study of programming languages
by: Stansifer
Published: (1994)

Programming language concepts
by: Ghezzi
Published: (1997)

Programming language pragmatics
by: ScottlhMichael Lee

Programming language syntax and semantics
by: Watt, David A. (David Anthony)
Published: (1991)

Principles of programming languages design, evaluation, and implementation
by: MacLennan, Bruce J.
Published: (1999)

Applications software programming with fourth-generation languages
by: Gregory
Published: (1989)

The anatomy of programming languages
by: Fischer
Published: (1993)

Programming Languages Principles and paradigms
by: Tucker
Published: (2007)

Programming languages principles and paradigms
by: Tudker lhAllen B.

Concepts of programming languages
by: Sebesta, Robert W.
Published: (1993)

Concept of programming languages
by: Sebesta lhRobert W.

The C programming language
by: Kernighan
Published: (1988)

Types & grammar
by: Simpson, Kyle
Published: (2015)

Programming languages
by: MayerlhHerbert G.

Programming language design concepts
by: Watt
Published: (2004)

The Scheme programming language ANSI Scheme
by: Dybvig, R. Kent
Published: (1996)

Semantics of sequential and parallel programs
by: Best
Published: (1996)

Programming using the C language
by: Hutchison

IBM PC assembly language and programming
by: Abel
Published: (1998)

Java programming language SL-275 : student guide
Published: (2001)

Assembly language programming for the 80386
by: Fernandez, Judi N. 1941-, et al.
Published: (1990)

Structured programming in assembly language for the IBM PC
by: Runnion, William C.
Published: (1988)

Program design with pseudocode
by: Bailey lhT.E

Structured programming in assembly language for the IBM PC and PS/2
by: RunnionlhWilliam C.

Structure and interpretation of computer programs
by: AbelsonlhHarold

C minimanual with C++ supplement to accompany Appleby-Vandekopple : programming languages, paradigm and practics
by: Hastings, Maryam Shayegan
Published: (1997)

Introduction to RISC assembly language programming
by: Waldron
Published: (1999)

A first course in computer programming using c
by: King lhMelvyn (melvyn Joseph)

A first course in computer programming using C
by: King
Published: (1994)

Unifying theories of programming
by: HoarelhC.A.R. ( Charles Anthony Richard )

Introduction to scientific programming computational problem solving using maple and C
by: ZacharylhJoseph L.

Program design
by: Juliff
Published: (1990)

Sparc architecture,assembly language programming and C
by: Paul lhRichard P.