Accessible
发表于 2025-4-1 03:41:00
First-Class Relationships in an Object-Oriented Languageships to have attributes and provide a novel notion of relationship inheritance. We formalize our language giving both the type system and operational semantics and prove certain key safety properties.
王得到
发表于 2025-4-1 09:40:46
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Modelem. This paper introduces a novel object model, prototypes with multiple dispatch (PMD), which seamlessly unifies these two approaches. We give formal semantics for PMD, and discuss implementation and experience with PMD in the dynamically typed programming language Slate.