MERLIN (ICFP 2005 Workshop): Tallinn, Estonia

Randy Pollack (Ed.): ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005. ACM 2005

Frank Pfenning:
Towards a type theory of contexts. 1
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey:
A computational approach to reflective meta-reasoning about languages with bindings. 2-12
Miki Tanaka, John Power:
A unified category-theoretic formulation of typed binding signatures. 13-24
Christian Urban, Michael Norrish:
A formal treatment of the barendregt variable convention in rule inductions. 25-32
James Cheney:
Toward a general theory of names: binding and scope. 33-40
Marino Miculan, Ivan Scagnetto, Furio Honsell:
Translating specifications from nominal logic to CIC with the theory of contexts. 41-49
Olha Shkaravska:
Types with semantics: soundness proof assistant. 50-57
Kevin Donnelly, Hongwei Xi:
Combining higher-order abstract syntax with first-order abstract syntax in ATS. 58-63