Practical Foundations for Programming Languages

Practical Foundations for Programming Languages
Author :
Publisher : Cambridge University Press
Total Pages : 513
Release :
ISBN-10 : 9781107150300
ISBN-13 : 1107150302
Rating : 4/5 (00 Downloads)

Book Synopsis Practical Foundations for Programming Languages by : Robert Harper

Download or read book Practical Foundations for Programming Languages 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. 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

Practical Foundations for Programming Languages
Language: en
Pages: 513
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.
Practical Foundations for Programming Languages
Language: en
Pages: 491
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2013 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.
Practical Foundations for Programming Languages
Language: en
Pages: 491
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2012-12-17 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective o
Types and Programming Languages
Language: en
Pages: 646
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
Semantics of Programming Languages
Language: en
Pages: 450
Authors: Carl A. Gunter
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: MIT Press

DOWNLOAD EBOOK

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It intro