@inproceedings{niimi2021tyde,
  author = {Kazuki Niimi and Youyou Cong and Hidehiko Masuhara and Jonathan Immanuel Brachth\"auser},
  title = {Contextual Polymorphism Meets Bidirectional Effects},
  booktitle = {In Proceedings of Workshop on Type-Driven Development 2021 (TyDe 2021)},
  year = 2021,
  date = {2021-08-22},
  month = aug,
  optnote = {to appear},
  url = {https://icfp21.sigplan.org/details/TyDe-2021/8/Contextual-Effect-Polymorphism-Meets-Bidirectional-Effects-Extended-Abstract-},
  abstract = {Algebraic effects and handlers have found their way into programming languages. The past decade has seen different designs of calculi with support for effect handlers, as well as different variants of effect handlers developed for specific applications. In this paper, we study the extension of the Effekt language with bidirectional effects. Effekt is unique in its treatment of effect polymorphism, whereas bidirectional effects are useful for expressing bidirectional communication. We present a sound formalization of the extended Effekt language, and demonstrate several practical examples.},
  pdf = {tyde2021.pdf}
}