2025_01_01

Our paper “Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs” has bee accepted and will appear at POPL’25.