A Syntactic Theory of Dynamic Binding

• 1 January 1998
• journal article
• Published by Springer Nature in Higher-Order and Symbolic Computation
• Vol. 11  (3) , 233-279
• https://doi.org/10.1023/a:1010087314987

Abstract

Keywords

• FUNCTIONAL PROGRAMMING
• DYNAMIC BINDING
• EVALUATION FUNCTION
• FUNCTIONAL LANGUAGE
• PROGRAMMING LANGUAGE
• FORMAL SEMANTICS