1 citations · 1 across the 2 of their papers we have counts for
3 papers
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…