Madhavan Mukund



Programming Language Concepts

Jan-April, 2009





Supplementary reading material

Logic Programming

Software Transactional Memory

  • Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy: Composable memory transactions, Communications of the ACM, Volume 51, Number 8, August 2008, 91-100.
  • Simon Peyton Jones: Beautiful Concurrency, in Andy Oram, Greg Wilson (eds), Beautiful Code, Oreilly (2007)

Functional Programming


Lecture notes

Here are my old lecture notes for the course, which I plan to update during this semester.

Separate notes on generic programming in Java