Traits: Composable Units of Behaviour
Abstract elided by the publisher.
Related papers
- User-changeable visibility: resolving unanticipated name clashes in traits OOPSLA 2007
- Traits: A mechanism for fine-grained reuse TOPLAS 2006
- FeatherTrait: A modest extension of Featherweight Java TOPLAS 2008
- Relational Parametricity and Units of Measure POPL 1997
- A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell Haskell 2015
- Metaprogramming with Traits ECOOP 2007
- Chai: Traits for Java-Like Languages ECOOP 2005
- Automatically Enforcing Rust Trait Properties VMCAI 2024