A Pronominal Approach to Binding and Computation

  title={A Pronominal Approach to Binding and Computation},
  author={Robert Harper and Daniel R. Licata and Noam Zeilberger},
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… CONTINUE READING