Foundations for Programming Languages
Language: en
Pages: 846
Authors: John C. Mitchell
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: Mit Press

GET EBOOK

"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how
Practical Foundations for Programming Languages
Language: en
Pages: 513
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.
Foundations of Programming Languages
Language: en
Pages: 365
Authors: Kent D. Lee
Categories: Computers
Type: BOOK - Published: 2015-01-19 - Publisher: Springer

GET EBOOK

This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming.
Programming Language Foundations
Language: en
Pages: 144
Authors: Aaron Stump
Categories: Computers
Type: BOOK - Published: 2013-09-23 - Publisher: John Wiley & Sons

GET 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
Foundations of Object-oriented Languages
Language: en
Pages: 416
Authors: Kim B. Bruce
Categories: Computers
Type: BOOK - Published: 2002 - Publisher: MIT Press

GET EBOOK

A presentation of the formal underpinnings of object-oriented programming languages.