news
| Jan 01, 2025 | Our paper “Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs” has bee accepted and will appear at POPL’25. |
|---|---|
| Dec 31, 2024 | This web site has been set up on GitHub Pages. |
| Jan 01, 2025 | Our paper “Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs” has bee accepted and will appear at POPL’25. |
|---|---|
| Dec 31, 2024 | This web site has been set up on GitHub Pages. |