Compilation and equivalence of imperative objects

This publication has 18 references indexed in Scilit:

• A foundation for actor computation
  Journal of Functional Programming, 1997
• A logic of object-oriented programs
  Published by Springer Nature ,1997
• A Theory of Objects
  Published by Springer Nature ,1996
• Bisimilarity for a first-order calculus of objects with subtyping
  Published by Association for Computing Machinery (ACM) ,1996
• A Variable Typed Logic of Effects
  Information and Computation, 1995
• The VLISP verified Scheme system
  Higher-Order and Symbolic Computation, 1995
• From operational semantics to abstract machines
  Mathematical Structures in Computer Science, 1992
• A compilation method for ML-style polymorphic record calculi
  Published by Association for Computing Machinery (ACM) ,1992
• Notions of computation and monads
  Information and Computation, 1991
• Equivalence in functional languages with effects
  Journal of Functional Programming, 1991