Statically Typed Friendly Functions via Partially Abstract Types (1993)

by Benjamin C. Pierce , David N. Turner
Citations:27 - 1 self