Generic Programming Advanced Lectures - Backhouse, Roland; Backhouse, Roland; Gibbons, Jeremy; Gibbons, Jeremy (Springer Berlin Heidelberg : Imprint: Springer, 2003)