Statically Typed Friendly Functions via Partially Abstract Types (1993)

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