Imperative Object-Based Calculi in Co-inductive Type Theories.

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan

Browse the full LPAR paper archive.