Building Extensible Program Logics through Effect Handlers

July 14, 2026

Subjects

Logic in Computer Science (cs.LO)

Programming Languages (cs.PL)

Updated on Academus

2026/07/16 03:59 UTC