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$$aOdersky, Martin$$g126003
000229203 700__ $$0250833$$aBiboudis, Aggelos$$g282127
000229203 700__ $$0249854$$aLiu, Fengyun$$g244269
000229203 700__ $$0250832$$aBlanvillain, Olivier$$g184098
000229203 8564_ $$s420410$$uhttps://infoscience.epfl.ch/record/229203/files/main.pdf$$yn/a$$zn/a
000229203 909C0 $$0252187$$pLAMP$$xU10409
000229203 909CO $$ooai:infoscience.tind.io:229203$$pIC$$preport$$qGLOBAL_SET
000229203 917Z8 $$x282127
000229203 937__ $$aEPFL-REPORT-229203
000229203 973__ $$aEPFL
000229203 980__ $$aREPORT