Publication

The Function Passing Model: Types, Proofs, and Semantics