Parametricity and unboxing with unpointed types (1996)

by J Launchbury, R Paterson
Venue:In European Symposium on Programming, Proceedings, volume 1058 of LNCS