000221395 001__ 221395
000221395 005__ 20190317000533.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$$aHaller, Philipp$$g172057
000221395 700__ $$aMüller, Normen
000221395 700__ $$0242185$$aMiller, Heather$$g191683
000221395 8564_ $$s77301$$uhttps://infoscience.epfl.ch/record/221395/files/fp-formally.pdf$$yn/a$$zn/a
000221395 909C0 $$0252187$$pLAMP$$xU10409
000221395 909CO $$ooai:infoscience.tind.io:221395$$pIC$$preport$$qGLOBAL_SET
000221395 917Z8 $$x191683
000221395 937__ $$aEPFL-REPORT-221395
000221395 973__ $$aEPFL
000221395 980__ $$aREPORT