Wrapper semantics of an object-oriented programming language with state

This publication has 11 references indexed in Scilit:

• Comprehending monads
  Published by Association for Computing Machinery (ACM) ,1990
• On the expressive power of programming languages
  Published by Springer Nature ,1990
• A denotational semantics of inheritance and its correctness
  Published by Association for Computing Machinery (ACM) ,1989
• Objects as closures: abstract semantics of object-oriented languages
  Published by Association for Computing Machinery (ACM) ,1988
• Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like
  Published by Springer Nature ,1988
• Encapsulation and inheritance in object-oriented programming languages
  Published by Association for Computing Machinery (ACM) ,1986
• Miranda: A non-strict functional language with polymorphic types
  Lecture Notes in Computer Science, 1985
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955