Charles Consel Binding Time Analysis for High Order Untyped Functional Languages. 264-272 1990 conf/lfp/1990 LISP and Functional Programming https://doi.org/10.1145/91556.91668 db/conf/lfp/lfp1990.html#Consel90