Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs

Open Webpage

Taro Sekiyama, Hiroshi Unno

Published: 01 Jan 2025, Last Modified: 23 Jul 2025Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0