Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification

Open Webpage

Taro Sekiyama, Hiroshi Unno

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