Atsushi Igarashi Mirko Viroli Variant path types for scalable extensibility. 113-132 2007 conf/oopsla/2007 OOPSLA http://doi.acm.org/10.1145/1297027.1297037 db/conf/oopsla/oopsla2007.html#IgarashiV07