000229203 001__ 229203
000229203 005__ 20190416055558.0
000229203 037__ $$aREP_WORK
000229203 245__ $$aFoundations of Implicit Function Types
000229203 269__ $$a2017
000229203 260__ $$c2017
000229203 300__ $$a20
000229203 336__ $$aReports
000229203 520__ $$aImplicit parameters are used pervasively in Scala and are also present in a number of other programming and theorem proving languages. This paper describes a generalization of implicit parameters as they are currently found in Scala to implicit function types. We motivate the construct by a series of examples and provide formal foundations that closely follow the semantics implemented by the Scala compiler.
000229203 700__ $$0241835$$g126003$$aOdersky, Martin
000229203 700__ $$0250833$$g282127$$aBiboudis, Aggelos
000229203 700__ $$g244269$$aLiu, Fengyun$$0249854
000229203 700__ $$aBlanvillain, Olivier$$g184098$$0250832
000229203 8564_ $$uhttps://infoscience.epfl.ch/record/229203/files/main.pdf$$zn/a$$s420410$$yn/a
000229203 909C0 $$xU10409$$0252187$$pLAMP
000229203 909CO $$ooai:infoscience.tind.io:229203$$qGLOBAL_SET$$pIC$$preport
000229203 917Z8 $$x282127
000229203 937__ $$aEPFL-REPORT-229203
000229203 973__ $$aEPFL
000229203 980__ $$aREPORT