Metaphoric Polymorphism: Taking Code Reuse One Step Further
Abstract elided by the publisher.
Related papers
- Boom: Taking Boolean Program Model Checking One Step Further TACAS 2010
- Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk) Haskell 2017
- Mimic: a fast system/370 simulator PLDI 1987
- Familia: unifying interfaces, type classes, and family polymorphism OOPSLA 2017
- Exploring deep reuse in winograd CNN inference PPoPP 2021
- Parsimony principles for software components and metalanguages GPCE 2007
- Formal Specification and Testing for Reinforcement Learning ICFP 2023
- Correspondence Polymorphism for Object-Oriented Languages OOPSLA 1999