Type Inference and Implicit Scaling
No abstract available.
DOI 10.1007/3-540-52592-0_77
Related papers
- Syntactic Implicit Parameters with Static Overloading PLDI 2026
- Another Type Inference Algorithm for First-Class Implicit Polymorphism ICFP 2026
- Elaboration with first-class implicit function types ICFP 2020
- Greedy Implicit Bounded Quantification OOPSLA 2023
- Implicit Parameters: Dynamic Scoping with Static Types POPL 2000
- Type-Dependent Parameter Inference PLDI 1990
- Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild OOPSLA 2019
- Polymorphic type inference for scripting languages with object extensions DLS 2011