The SCEAS System
Navigation Menu

Conferences in DBLP

ACM SIGPLAN International Conference on Functional Programming (ICFP) (icfp)
2003 (conf/icfp/2003merlin)

  1. S. J. Ambler, Roy L. Crole, Alberto Momigliano
    A definitional approach to primitivexs recursion over higher order abstract syntax. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  2. John Power
    A unified category theoretic approach to variable binding. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  3. Michael Norrish
    Mechanising Hankin and Barendregt using the Gordon-Melham axioms. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  4. Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning
    A modal foundation for meta-variables. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  5. Alberto Momigliano, Jeff Polakow
    A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  6. Yasuhiko Minamide, Koji Okuma
    Verifying CPS transformations in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  7. Jason Hickey, Aleksey Nogin, Adam Granicz
    Compiler implementation in a formal logical framework. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  8. Neil Ghani, Tarmo Uustalu
    Explicit substitutions and higher-order syntax. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  9. Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
    Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  10. Ralph-Johan Back, Viorel Preoteasa
    Reasoning about recursive procedures with parameters. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  11. Carsten Schürmann, Jatin Shah
    Representing reductions of NP-complete problems in logical frameworks: a case study. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002