Practical Foundations for Programming Languages

Download or Read eBook Practical Foundations for Programming Languages PDF written by Robert Harper and published by Cambridge University Press. This book was released on 2016-04-04 with total page 513 pages. Available in PDF, EPUB and Kindle.

Author	: Robert Harper
Publisher	: Cambridge University Press
Total Pages	: 513
Release	: 2016-04-04
ISBN-10	: 9781107150300
ISBN-13	: 1107150302
Rating	: 4/5 (00 Downloads)

DOWNLOAD EBOOK

Book Synopsis Practical Foundations for Programming Languages by : Robert Harper

Book excerpt: This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

Practical Foundations for Programming Languages Related Books

Language: en
Pages: 513

Practical Foundations for Programming Languages

Authors: Robert Harper

Categories: Computers

Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

Language: en
Pages: 656

Types and Programming Languages

Authors: Benjamin C. Pierce

Categories: Computers

Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er

Language: en
Pages: 144

Programming Language Foundations

Authors: Aaron Stump

Categories: Computers

Type: BOOK - Published: 2013-09-23 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Programming Language Foundations is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for readers withou

Language: en
Pages: 590

Practical Foundations of Mathematics

Authors: Paul Taylor

Categories: Mathematics

Type: BOOK - Published: 1999-05-13 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework ess

Language: en
Pages: 546

Concepts in Programming Languages

Authors: John C. Mitchell

Categories: Computers

Type: BOOK - Published: 2003 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.