That's interesting. What is it about Typescript specifically that you think aligns it with "A Theory of Objects"? (not expecting a thesis in your answer)
Abadi and Cardelli lay out an object oriented calculus with object literals and structural object types. Typescript's object literals and structural object types seem very similar.
