A theory of binding structures and applications to rewriting

This publication has 7 references indexed in Scilit:

• Inferring the equivalence of functional programs that mutate data
  Theoretical Computer Science, 1992
• Notions of computation and monads
  Information and Computation, 1991
• Equivalence in functional languages with effects
  Journal of Functional Programming, 1991
• On the algebraic definition of programming languages
  ACM Transactions on Programming Languages and Systems, 1987
• Proving and applying program transformations expressed with second-order patterns
  Acta Informatica, 1978
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972
• Algebras with a Scheme of Operators
  Mathematische Nachrichten, 1963