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
Formal Syntax and Semantics of Programming Languagesby Kenneth Slonneger, Barry L. Kurtz - Addison Wesley Longman
The book presents the typically difficult subject of formal methods in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts.
(17494 views)
Type Systems for Programming Languagesby Robert Harper
Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
(16832 views)
Categories, Types, and Structuresby 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.
(19577 views)
Proofs and Typesby J. Girard, Y. Lafont, P. Taylor - Cambridge University Press
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.
(18931 views)