A Pronominal Approach to Binding and Computation

@inproceedings{Harper2009APA,
  title={A Pronominal Approach to Binding and Computation},
  author={Robert Harper and Daniel R. Licata and Noam Zeilberger},
  booktitle={TLCA},
  year={2009}
}
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