Parametricity and Unboxing with Unpointed Types.

John Launchbury, Ross Paterson

Browse the full ESOP paper archive.