RPython: a step towards reconciling dynamically and statically typed OO languages
Traits: A mechanism for fine-grained reuse