**Anatomy of Programming Languages**

by William R. Cook

**Publisher**: UT Austin 2013**Number of pages**: 153

**Description**:

This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. These notes assume knowledge of programming, and in particular assume basic knowledge of programming in Haskell.

Download or read it online for free here:

**Download link**

(multiple formats)

## Similar books

**Categories, Types, and Structures**

by

**Andrea Asperti, Giuseppe Longo**-

**MIT Press**

Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.

(

**13839**views)

**Principles of Programming Languages**

by

**Mira Balaban**-

**Ben-Gurion University of the Negev**

This course is about building computational processes. We need computational processes for computing functions. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.

(

**17815**views)

**Denotational Semantics: A Methodology for Language Development**

by

**David Schmidt**-

**Kansas State University**

Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. This book was written to make denotational semantics accessible to a wider audience and to update existing texts in the area.

(

**7890**views)

**Lectures on the Curry-Howard Isomorphism**

by

**Morten Heine B. Sorensen, Pawel Urzyczyn**-

**Elsevier Science**

This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.

(

**7250**views)