000221395 001__ 221395
000221395 005__ 20190416220332.0
000221395 037__ $$aREP_WORK
000221395 245__ $$aThe Function Passing Model: Types, Proofs, and Semantics
000221395 269__ $$a2016
000221395 260__ $$c2016
000221395 336__ $$aReports
000221395 700__ $$0240993$$g172057$$aHaller, Philipp
000221395 700__ $$aMüller, Normen
000221395 700__ $$0242185$$g191683$$aMiller, Heather
000221395 8564_ $$uhttps://infoscience.epfl.ch/record/221395/files/fp-formally.pdf$$zn/a$$s77301$$yn/a
000221395 909C0 $$xU10409$$0252187$$pLAMP
000221395 909CO $$ooai:infoscience.tind.io:221395$$qGLOBAL_SET$$pIC$$preport
000221395 917Z8 $$x191683
000221395 937__ $$aEPFL-REPORT-221395
000221395 973__ $$aEPFL
000221395 980__ $$aREPORT