… an error-prone interface already during the function’s development. The main additional
contribution is that we also consider potential implicit conversions from one parameter’s type to …

… Either a construction is compounded in a type-theoretically incoherent (‘nonsensical’)
way, or it is an application of a function to an argument at which the function is not defined. …

… The main additional contribution is that we also consider potential implicit conversions from
one parameter’s type to the other – a problem that was not evaluated in previous literature. …

… apply id to an argument, the implicit type argument is provided by … specify implicit arguments:
in Agda we may put arguments in … Often, decidable conversion follows from a normalization …

… the abstracted values of the function argument and the return value. … conversions are and
compare their prevalence to coercions. In total, we observe 20,407 explicit type conversions …

… conversions, particularly the arithmetic conversions and the … when we describe implicit
typing for polymorphic functions. … the type arguments of a polymorphic function application and …

… conversion in English in the context of Functional Discourse Grammar. Although conversion
… In this paper, I have argued that conversion in English has its roots in innovative coinage as …

… adds implicit message passing and implicit functions. We use several examples to argue that
implicit … Scala's implicit conversions are implemented with such a heuristic [18], and such a …

… As usual, we will consider terms up to α-conversions. The colors of abstractions have no …
for implicit arguments through the AG function and are solved later on by the CT function which …

… Making the type argument implicit we end up with the code shown in Figure 4. We are now
… types, abstractions and applications, which all make use of implicit substructure conversion. …