Logo

Anatomy of Programming Languages

Small book cover: Anatomy of Programming Languages

Anatomy of Programming Languages
by

Publisher: UT Austin
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.

Home page url

Download or read it online for free here:
Download link
(multiple formats)

Similar books

Book cover: Programming Languages: Theory and PracticeProgramming Languages: Theory and Practice
by - Carnegie Mellon University
What follows is a working draft of a planned book that seeks to strike a careful balance between developing the theoretical foundations of programming languages and explaining the pragmatic issues involved in their design and implementation.
(6068 views)
Book cover: The Z Notation: A Reference ManualThe Z Notation: A Reference Manual
by - Prentice Hall
The standard Z notation for specifying and designing software has evolved over the best part of a decade. This an informal but rigorous reference manual is written with the everyday needs of readers and writers of Z specifications in mind.
(6776 views)
Book cover: Computational Category TheoryComputational Category Theory
by
The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.
(12933 views)
Book cover: A Practical Theory of ProgrammingA Practical Theory of Programming
by - Springer
Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.
(9239 views)