Fun with type functions (2010)

by O Kiselyov, S Peyton Jones, C Shan
Venue:In Reflections on the Work of C.A.R. Hoare, chapter 14