Family Polymorphism
No abstract available.
DOI 10.1007/3-540-45337-7_17
Related papers
- Lightweight Family Polymorphism APLAS 2005
- Lightweight family polymorphism JFP 2008
- Extensible Metatheory Mechanization via Family Polymorphism PLDI 2023
- Persimmon: Nested Family Polymorphism with Extensible Variant Types OOPSLA 2024
- Familia: unifying interfaces, type classes, and family polymorphism OOPSLA 2017
- Modules, abstraction, and parametric polymorphism POPL 2017
- Subtypes vs. Where Clauses: Constraining Parametric Polymorphism OOPSLA 1995
- Type families with class, type classes with family Haskell 2015