Object-oriented features

[1]  Martin Hofmann,et al.  Positive subtyping , 1995, POPL '95.

[2]  A. V. Storm,et al.  Rethinking glutamine addiction , 2015, Nature Cell Biology.

[3]  Martín Abadi,et al.  An interpretation of objects and object types , 1996, POPL '96.

[4]  Luca Cardelli,et al.  Operations on Records , 1989, Mathematical Foundations of Programming Semantics.