Formally Optimal Boxing (0)

by F Henglein, J Jørgensen
Venue:In Proceedings POPL’94