An interpretation of typed OOP in a language with state Jonathan EifrigScott SmithAmy Zwarico OriginalPaper Pages: 357 - 397