Parametric Overloading in Polymorphic Programming Languages
Abstract elided by the publisher.
Related papers
- Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance OOPSLA 2011
- A simple semantics for Haskell overloading Haskell 2014
- Polymorphic symmetric multiple dispatch with variance POPL 2019
- Fluent APIs in Functional Languages OOPSLA 2023
- The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking OOPSLA 2025
- A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism JFP 1995
- A unification algorithm for Coq featuring universe polymorphism and overloading ICFP 2015
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading JFP 2017