effects – ページ 2 – プログラミング研究室

カテゴリー: effects

以下の論文が OOPSLA 2022 に採択されました。

Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen. First-Class Names for Effect Handlers.

以下の発表が ICFP 2022 に併設される TyDe および HOPE ワークショップに採択されました。

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.

以下の論文が LMCS に採録されました。

Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai. A Functional Abstraction of Typed Invocation Contexts. Logical Methods in Computer Science (LMCS) Special Issue on Selected Papers of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021).

叢悠悠がPPLサマースクール2022「計算効果入門 ― プログラミングから理論まで ―」でNIIの勝股審也先生、関山太朗先生とともに講師を勤めます。

以下の論文が TFP 2022 の予稿集に採録されました．

Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Towards Efficient Adjustment of Effect Rows
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Sound and Complete Type Inference for Closed Effect Rows.
Youyou Cong and Kenichi Asai. Understanding Algebraic Effect Handlers via Delimited Control Operators.

*Microsoft Research, USA

以下の発表が TFP 2022 で行われます．

Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Towards Efficient Adjustment of Effect Rows
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Sound and Complete Type Inference for Closed Effect Rows.
Youyou Cong and Kenichi Asai. Understanding Algebraic Effect Handlers via Delimited Control Operators.

*Microsoft Research, USA