Publications de Dimitri Racordon

On the State of Coherence in the Land of Type Classes

Aspect-Oriented Software Association (AOSA)2025

Method Bundles

Performance-critical systems commonly optimize memory use and locality by selecting among multiple variants of a single logical operation. Algorithm developers then typically rely on ad-hoc API patterns or naming conventions to distinguish the variants. Un ...

Association for Computing Machinery, Inc2024

Type Checking with Rewriting Rules

Dimitri Racordon

Type classes support the implementation of highly reusable algorithms and data structures without loss of efficiency. Initially developed in Haskell, they have become central to the design of several modern programming languages, including Swift, Rust, Hyl ...

Association for Computing Machinery, Inc2024

Existential Containers in Scala

Dimitri Racordon

Type classes have been well-established as a powerful tool to write generic algorithms and data structures while escaping vexing limitations of subtyping with respect to extensibility, binary methods, and partial abstractions. Unfortunately, type classes a ...

Association for Computing Machinery, Inc2024