Research

Towards Abstract Cumulative Semantics via Handlers

:: Abstract Interpretation :: Algebraic Effects ::

Presentation Paper Conference