2 papers
cs.PL2024
Defining Name Accessibility using Scope Graphs (Extended Edition)
Aron Zwaan, Casper Bach Poulsen
Many programming languages allow programmers to regulate accessibility; i.e., annotating a declaration with keywords such as export and private to indicate where it can be accessed…
cs.PL2023
Types and Semantics for Extensible Data Types (Extended Version)
Cas van der Rest, Casper Bach Poulsen
Developing and maintaining software commonly requires (1) adding new data type constructors to existing applications, but also (2) adding new functions that work on existing data.…