Formally optimal boxing (1994)

by Fritz Henglein, Jesper J0rgensen
Venue:In 21st Annual ACM SICACTSICPLAN Symposium on Principles of Programming Languages