Semantically Separating Nominal Wyvern for Usability and Decidability

Yu Xiang Zhu, Amos Robinson, Sophia Roshal +4

The Dependent Object Types (DOT) calculus incorporates concepts from functional languages (e.g. modules) with traditional object-oriented features (e.g. objects, subtyping) to achi…