"TEMPO.. A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages" - читать интересную книгу автора (N. D. Jones, S. S. Muchnick)