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. 2003 conf/icfp/2003merlin MERLIN http://doi.acm.org/10.1145/976571.976581 db/conf/icfp/merlin2003.html#MomiglianoP03