Archived tweet #9352 from the @leastfixedpoint Twitter Archive

@DRMacIver Tangential, but you might find arxiv.org/abs/1801.06793 interesting: "... proving that type inheritance and subtyping are completely identified in these languages [...] contrary to the belief that 'inheritance is not subtyping,' ..." :-)