2 posts tagged with "reduction semantics"

A General Fine-Grained Reduction Theory for Effect Handlers (Sieczkowski et al. 2023) presents a theory of effect handlers that can be used for term rewriting systems, and provides a few different abstract machines for effect handlers.

A significant contribution of this paper I believe is that it provides a top down small-step semantics for effect handlers, which is a bit unusual.

Refocusing in Reduction Semantics (Danvy and Nielsen Nov. 2004) presents a way to go from a reduction semantics to an refocused pre-abstract machine, and eventually to an abstract machine. The paper is a good read after being introduced to reduction semantics and abstract machines, and has a few simple walkthroughs of how to actually apply the theory.