Jiazhen Cai Robert Paige Binding Performance at Language Design Time. 85-97 1987 POPL db/conf/popl/popl87.html#CaiP87