The Function Passing Model: Types, Proofs, and Semantics

report

•

Müller, Normen

•

2016

Cite this item

Haller, P., Müller, N., & Miller, H. (2016). The Function Passing Model: Types, Proofs, and Semantics. https://infoscience.epfl.ch/handle/20.500.14299/129445

Click Copy to copy the citation, or select the text manually.

Name

fp-formally.pdf

Access type

openaccess

Size

75.49 KB

Format

Adobe PDF

Checksum (MD5)

3fc9ee8e249090594d84b43c7d5aca5e