Danny Dubé Marc Feeley A demand-driven adaptive type analysis. 84-97 2002 ICFP http://doi.acm.org/10.1145/581478.581487 db/conf/icfp/icfp2002.html#DubeF02