Helle Markmann Andersen Ulrik Pagh Schultz Declarative specialization for object-oriented-program specialization. 27-38 2004 conf/pepm/2004 PEPM http://doi.acm.org/10.1145/1014007.1014011 db/conf/pepm/pepm2004.html#AndersenS04