Formally optimal boxing (1994)

by F Henglein, J Jorgensen
Venue:In Twenty-First ACM Symposium on Principles of Programming Languages