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

Alberto Momigliano, Jeff Polakow

Browse the full ICFP paper archive.