Skip to content

A Sound and Complete Logic for Algebraic Effects.

Cristina Matache, Sam Staton

Year2019
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.