Text this: Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures / Roland Backhouse ... [and others] (eds.).