journal : ACM SIGPLAN Notices

Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli

Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (2000) — Mirko Viroli, Antonio Natali