From High to Low: Simulating Nondeterminism and State with State

Wenhao Tang, Tom Schrijvers

Some effects are considered to be higher-level than others. High-level effects provide expressive and succinct abstraction of programming concepts, while low-level effects allow mo…