CSoPL: lecture 2014-11-05