Existential Containers in Scala. - Dimitri Racordon; Eugene Flesselle; Matthieu Bovel (MPLR, 2024)

On the State of Coherence in the Land of Type Classes. - Dimi Racordon; Eugene Flesselle; Cao Nguyen Pham (Art Sci. Eng. Program., 2025)

System Fω with Coherent Implicit Resolution. - Eugene Flesselle (CoRR, 2025)