A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alberto Momigliano' in GoogleThis author has not been identified. Look up 'Jeff Polakow' in Google

runs on WebDSL