Building Extensible Program Logics with Effect Handlers
Date:
A talk at 2025 New England Systems Verification Day.
Credit: Simon Oddershede Gregersen.
Credit: Simon Oddershede Gregersen.
Credit: Simon Oddershede Gregersen.
Date:
A talk at 2025 New England Systems Verification Day.