Building Extensible Program Logics with Effect Handlers
Date:
A talk at 2025 New England Systems Verification Day.
Credit: Simon Oddershede Gregersen.
Slides: nesvd-handler.pdf; nesvd-handler.pptx
Credit: Simon Oddershede Gregersen.
Credit: Simon Oddershede Gregersen.