@misc{peien-ppl2025-poster,
  author = {Peien Chen and Yudai Tanabe and Youyou Cong and Hidehiko Masuhara},
  title = {Adapting Ownership Types for Resource-Safe Algebraic Effect Handling},
  month = {mar},
  date = {2025-03-05},
  url = {https://jssst-ppl.org/workshop/2025/program.html},
  year = {2025},
  howpublished = {Category 3 Poster at the 27th PPL2025},
  abstract = {Algebraic effects and handlers enable modular programming with computational effects. However, their flexible manipulation of control-flow introduces resource management challenges: for example, resuming a continuation twice could result in closing a file twice. To address this, we extend a type system for effect handlers with ownership to guarantee resource safety by statically tracking cleanup obligations. Our approach propagates ownership constraints across handler executions and continuation captures, preventing unsafe interactions via ownership analysis. This poster presents our type system design and discusses potential solutions for aforementioned resource management challenges within our framework.}
}