Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Support for dynamic binding in strongly typed languages

ACM SIGPLAN Notices

Automatic binding time analysis for a typed &lgr;-calculus

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Modeling the binding policies of programming languages

ACM '79 Proceedings of the 1979 annual conference

Binding time optimization in programming languages: Some thoughts toward the design of an ideal language

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages

Preface

The essence of computation