Regular Object Types (2003)

by Vladimir Gapayev, Benjamin C Pierce
Venue:In ECOOP 2003