… implicit arguments, allows a user to omit arguments which can be inferred by their relation to
other arguments… of problems with the way implicit arguments are currently handled by Agda’…

… implementations which we present underline that functional languages provide a suitable
abstraction level to reason about parallel programming and to circumvent its complexity. …

… Scala offers implicit parameters which are used pervasively, … generalization of implicit
parameters to implicit function types, … Functional programming has a more straightforward answer: …

… The extension of object-oriented and functional programming languages with implicit
parameters have borne rich fruit, and we hope to spur similar developments for logic …

… For this purpose we now define a function F, which takes as arguments the tree to be … In
our scheme this order is implicitly determined by the lazy evaluator at runtime. The order is …

… To motivate the use of implicit values (or parameters), we start with an example of the
canonical paper on implicit parameters by Lewis, Launchbury, Meijer, and Shields (2000). We …

… function’s development. The main additional contribution is that we also consider potential
implicit conversions from one parameter’… to obtain results on how function interfaces might be …

… to make pattern variables and implicit arguments explicit. … argument to convert is a parameter
function. We supply it with an empty function “fn .”, which is appropriate as no parameters …

… We define inductively (see Fig.2) an extraction function M ↦→ M … This function removes
the static information: domains of abstractions, implicit arguments and implicit abstractions. …

… the implicit store will contain the desired result. In contrast, declarative languages are
characterized as having no implicit … Note that the function fun is passed as an argument to mapcar. …