MERLIN (ICFP 2003 Workshop): Uppsala, Sweden
- Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM 2003
- Michael Norrish: Mechanising Hankin and Barendregt using the Gordon-Melham axioms.
- John Power: A unified category theoretic approach to variable binding.