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

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