Type Classes with Functional Dependencies
Abstract elided by the publisher.
Related papers
- Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! Haskell 2017
- Associated type synonyms ICFP 2005
- Language and program design for functional dependencies Haskell 2008
- Understanding functional dependencies via constraint handling rules JFP 2007
- Dependent Types for Class-based Mutable Objects ECOOP 2018
- Elaboration with first-class implicit function types ICFP 2020
- Secure distributed programming with value-dependent types ICFP 2011
- On the bright side of type classes: instance arguments in Agda ICFP 2011