Comparing object encodings (2006)

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