Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures - Gibbons, Jeremy (Springer Berlin Heidelberg : Imprint: Springer, 2012)