Spiral in scala: towards the systematic construction of generators for performance libraries
How to make ad-hoc polymorphism less ad hoc