Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language

Neil D. Jones, Steven S. Muchnick. Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language. In POPL. pages 77-94, 1976.