Lars Birkedal Morten Welinder Binding-Time Analysis for Standard ML. 61-71 1994 PEPM db/conf/pepm/pepm94.html#BirkedalW94