2 papers
cs.PL2025
Expressive Power of One-Shot Control Operators and Coroutines
Kentaro Kobayashi, Yukiyoshi Kameyama
Control operators, such as exceptions and effect handlers, provide a means of representing computational effects in programs abstractly and modularly. While most theoretical studie…
cs.SE2025
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
Statistical methods have been widely misused and misinterpreted in various scientific fields, raising significant concerns about the integrity of scientific research. To mitigate t…