Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan

Browse the full ICFP paper archive.