Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C
Similar Tracks
Model Based Reinforcement Learning: Policy Iteration, Value Iteration, and Dynamic Programming
Steve Brunton
A Proof Assistant Prototype Based on Algebraic Effects and Handlers - Andrej Bauer
Institute for Advanced Study
Keynote: Algebraic Effect Handlers with Parallelizable Computations by Ningning Xie | Lambda Days 24
Code Sync
[CPP'25] The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic
ACM SIGPLAN