Types And Programming Languages

Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 9780262162098
Size: 57.78 MB
Format: PDF, Docs
View: 7701
Download Read Online
Mathematical Preliminaries - Untyped Systems - Untyped Arithmetic Expressions - An ML Implementation of Arithmetic Expressions - The Untyped Lambda-Calculus - Nameless Representation of Terms - An ML Implementation of the Lambda-Calculus - ...

Concepts In Programming Languages

Author: John C. Mitchell
Publisher: Cambridge University Press
ISBN: 9780521780988
Size: 15.65 MB
Format: PDF
View: 4274
Download Read Online
A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

Behavioral Types In Programming Languages

Author: Davide Ancona
Publisher: Now Publishers
ISBN: 9781680831344
Size: 43.35 MB
Format: PDF, ePub, Mobi
View: 4074
Download Read Online
Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art of these practical aspects, which are summarized as the pragmatics of behavioral types.

Practical Foundations For Programming Languages

Author: Robert Harper
Publisher: Cambridge University Press
ISBN: 1107150302
Size: 10.88 MB
Format: PDF, ePub, Docs
View: 3780
Download Read Online
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

Semantics Of Programming Languages

Author: Carl A. Gunter
Publisher: MIT Press
ISBN: 9780262570954
Size: 22.44 MB
Format: PDF, ePub
View: 6866
Download Read Online
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science.