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 BibTeX

S. J. Ambler, Roy L. Crole, Alberto Momigliano:
A definitional approach to primitivexs recursion over higher order abstract syntax.
Electronic Edition (ACM DL) BibTeX
Michael Norrish:
Mechanising Hankin and Barendregt using the Gordon-Melham axioms.
Electronic Edition (ACM DL) BibTeX
Alberto Momigliano, Jeff Polakow:
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.
Electronic Edition (ACM DL) BibTeX
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan:
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.
Electronic Edition (ACM DL) BibTeX
Ralph-Johan Back, Viorel Preoteasa:
Reasoning about recursive procedures with parameters.
Electronic Edition (ACM DL) BibTeX
Jason Hickey, Aleksey Nogin, Adam Granicz:
Compiler implementation in a formal logical framework.
Electronic Edition (ACM DL) BibTeX
Yasuhiko Minamide, Koji Okuma:
Verifying CPS transformations in Isabelle/HOL.
Electronic Edition (ACM DL) BibTeX
John Power:
A unified category theoretic approach to variable binding.
Electronic Edition (ACM DL) BibTeX
Carsten Schürmann, Jatin Shah:
Representing reductions of NP-complete problems in logical frameworks: a case study.
Electronic Edition (ACM DL) BibTeX
Neil Ghani, Tarmo Uustalu:
Explicit substitutions and higher-order syntax.
Electronic Edition (ACM DL) BibTeX
Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning:
A modal foundation for meta-variables.
Electronic Edition (ACM DL) BibTeX