Generic and Indexed Programming - Gibbons, Jeremy (Herausgeber) (Theoretical Computer Science and General Issues, 2012)