Parametric datatype-genericity (2009)

by J Gibbons, R Paterson
Venue:In Proc. of WGP 2009