Constraint-based multi-level bindingtime analysis of higher-order languages (1995)

by Robert Gluck, Jesper J��rgensen