2 papers
cs.PL2025
Reasoning about External Calls
Sophia Drossopoulou, Julian Mackay, Susan Eisenbach +1
In today's complex software, internal trusted code is tightly intertwined with external untrusted code. To reason about internal code, programmers must reason about the potential e…
cs.PL2025
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…