There has been a great deal of research on programming languages for computing with binding and scope (bound variables, α-equivalence, capture-avoiding substitution). These languages are useful for a variety of tasks, such as implementing domain-specific languages and formalizing the metatheory of programming languages. Functional programming with binding and scope involves two different notions of function: functions-as-data and functions-as-computation. Functions-as-data, used to represent abstract syntax with variable binding, have an intensional, syntactic, character, in the sense that they can be inspected in ways other than function application. For example, many algorithms that process abstract syntax recur under binders, treating variables symbolically. On the other hand, functions-as-computation, the usual functions of functional programming, have an extensional character-a function from A to B is a black box that, when given an A, delivers a B. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Harper, R., Licata, D. R., & Zeilberger, N. (2009). A pronominal approach to binding and computation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5608 LNCS, pp. 3–4). https://doi.org/10.1007/978-3-642-02273-9_2
Mendeley helps you to discover research relevant for your work.