Sciweavers

Share
ICFP
2003
ACM

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

9 years 6 months ago
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax
Alberto Ciaffaglione, Luigi Liquori, Marino Micula
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2003
Where ICFP
Authors Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
Comments (0)
books