Elements of Programming
Decomposing programs into a system of algorithmic components
Book (Addison-Wesley Professional, June 2009)
Lecture: "Elements of Programming", Stanford EE380, November 3, 2010.
We thank Professor Andrew Lumsdaine of Indiana University for providing hosting for this website at Open Systems Lab, and we thank DongInn Kim of OSL for his help.