Presentations on Effects (at TyDe & HOPE)

The following presentations have been accepted to the TyDe and HOPE workshops, co-located with ICFP 2022.

  • Youyou Cong and Kenichi Asai. Towards Dependently-Typed Control Effects. The 7th Workshop on Type-Driven Development (TyDe 2022), Ljubljana, Slovenia, September 2022.
  • Youyou Cong, Shin-ya Katsumata, Kazuki Niimi, and Jonathan Immanuel Brachthäuser.  Monadic Semantics of Bidirectional Effects.  The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022), Ljubljana, Slovenia, September 2022.
2022-09-11.
→
←