1 citations · 1 across the 3 of their papers we have counts for
5 papers · 1 filter
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…
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.…
Handling Higher-Order Effects
Cas van der Rest, Jaro Reinders, Casper Bach Poulsen
Algebraic effect handlers is a programming paradigm where programmers can declare their own syntactic operations, and modularly define the semantics of these using effect handlers.…
Latent Effects for Reusable Language Components: Extended Version
Birthe van den Berg, Tom Schrijvers, Casper Bach-Poulsen +1
The development of programming languages can be quite complicated and costly. Hence, much effort has been devoted to the modular definition of language features that can be reused…
Flag-Based Big-Step Semantics
Casper Bach Poulsen, Peter D. Mosses
Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termina…