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 (302 Downloads)
GET BOOK
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

Practical Foundations for Programming Languages

Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

GET EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Types and Programming Languages
Language: en
Pages: 646

Types and Programming Languages

Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

GET 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
Programming Language Foundations
Language: en
Pages: 144

Programming Language Foundations

Authors: Aaron Stump
Categories: Computers
Type: BOOK - Published: 2013-09-23 - Publisher: John Wiley & Sons

GET EBOOK

Stump’s Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several d
Design Concepts in Programming Languages
Language: en
Pages: 1347

Design Concepts in Programming Languages

Authors: Franklyn Turbak
Categories: Computers
Type: BOOK - Published: 2008-07-18 - Publisher: MIT Press

GET EBOOK

Key ideas in programming language design and implementation explained using a simple and concise framework; a comprehensive introduction suitable for use as a t
Programming Languages: Principles and Paradigms
Language: en
Pages: 440

Programming Languages: Principles and Paradigms

Authors: Maurizio Gabbrielli
Categories: Computers
Type: BOOK - Published: 2010-03-23 - Publisher: Springer Science & Business Media

GET EBOOK

This excellent addition to the UTiCS series of undergraduate textbooks provides a detailed and up to date description of the main principles behind the design a