Odersky, MartinBiboudis, AggelosLiu, FengyunBlanvillain, Olivier2017-06-182017-06-182017-06-182017https://infoscience.epfl.ch/handle/20.500.14299/138494Implicit 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.Foundations of Implicit Function Typestext::report