Haller, PhilippMüller, NormenMiller, Heather2016-09-192016-09-192016-09-192016https://infoscience.epfl.ch/handle/20.500.14299/129445The Function Passing Model: Types, Proofs, and Semanticstext::report