Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan. Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. 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 Ciaffaglione' in GoogleThis author has not been identified. Look up 'Luigi Liquori' in GoogleThis author has not been identified. Look up 'Marino Miculan' in Google

runs on WebDSL