2 papers
cs.PL2025
System with Coherent Implicit Resolution
Eugène Flesselle
We propose a calculus for modeling implicit programming that supports first-class, overlapping, locally scoped, and higher-order instances with higher-kinded types. We propose a st…
cs.PL2025
On the State of Coherence in the Land of Type Classes
Dimi Racordon, Eugene Flesselle, Cao Nguyen Pham
Type classes are a popular tool for implementing generic algorithms and data structures without loss of efficiency, bridging the gap between parametric and ad-hoc polymorphism. Sin…