A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines

Alberto Momigliano, Jeff Polakow. A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. In 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. [doi]

Abstract

Abstract is missing.