default search action

combined dblp search
author search
venue search
publication search

ask others

MERLIN (ICFP 2003 Workshop): Uppsala, Sweden

> Home > Conferences and Workshops > ICFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.