Erik Ruf Daniel Weise On the Specialization of Online Program Specializers. 251-281 1993 3 J. Funct. Program. 3 db/journals/jfp/jfp3.html#RufW93