Lightweight Family Polymorphism
Abstract elided by the publisher.
Related papers
- Lightweight family polymorphism JFP 2008
- Lightweight scalable components GPCE 2007
- Family Polymorphism ECOOP 2001
- Lightweight Polymorphic Effects ECOOP 2012
- 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
- TypeCase: a design pattern for type-indexed functions Haskell 2005