Comparing object encodings (2006)

by Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
Venue:Journal of Functional Programming, 16:375 – 414