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