A Model of Delegation Based on Existential Types. Working (1993)

by B Pierce