report

The Function Passing Model: Types, Proofs, and Semantics

Haller, Philipp  
•
Müller, Normen
•
Miller, Heather  
2016
Type
report
Author(s)
Haller, Philipp  
Müller, Normen
Miller, Heather  
Date Issued

2016

Written at

EPFL

EPFL units
LAMP1  
Available on Infoscience
September 19, 2016
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/129445