Generic Programming: Advanced Lectures

Roland Backhouse , Jeremy Gibbons