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
![Book cover: Semantics of Programming Languages](images/8927.jpg)
by Andrew M. Pitts - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(9989 views)
![Book cover: Lectures on the Curry-Howard Isomorphism](images/6048.jpg)
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.
(11862 views)
![Book cover: Introduction to Programming Languages](images/9679.jpg)
- Wikibooks
This book is an attempt to describe a bit of the programming languages zoo. We use each of the particular languages to introduce fundamental notions related to the design and the implementation of general purpose programming languages.
(10155 views)
![Book cover: Lecture Notes on the Lambda Calculus](images/5346.jpg)
by Peter Selinger - Dalhousie University
Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.
(12255 views)