Jens Palsberg Boaz Patt-Shamir Karl J. Lieberherr A New Approach to Compiling Adaptive Programs. 303-326 1997 29 Sci. Comput. Program. 3 db/journals/scp/scp29.html#PalsbergPL97 http://dx.doi.org/10.1016/S0167-6423(97)00004-X