@article{CTT100881887,
  author = {Youyou Cong and Chiaki Ishio and Kaho Honda and Kenichi Asai},
  title = {A Functional Abstraction of Typed Invocation Contexts},
  journal = {Logical Methods in Computer Science (LMCS)},
  year = 2022,
}

@inproceedings{CTT100881730,
  author = {Ningning Xie and Youyou Cong and Kazuki Ikemori and Daan Leijen},
  title = {First-Class Names for Effect Handlers},
  booktitle = {Proceedings of the ACM on Programming Languages},
  year = 2022,
}

@inproceedings{CTT100882379,
  author = {Junya Nose and Youyou Cong and Hidehiko Masuhara},
  title = {Mio: A Block-Based Environment for Program Design},
  booktitle = {Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E},
  year = 2022,
}

@inproceedings{CTT100882380,
  author = {Youyou Cong},
  title = {In Search of a Type Theory for Fuzzy Properties},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100879786,
  author = {Youyou Cong and Shin-ya Katsumata and Kazuki Niimi and Jonathan Immanuel Brachthäuser},
  title = {Monadic Semantics of Bidirectional Effects},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100881644,
  author = {Youyou Cong and Fumi Takeuchi;Hidehiko Masuhara;Youyou Cong and Keisuke Ishibashi},
  title = {How many mutex bugs can a simple analysis find in Go programs?},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100881645,
  author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
  title = {Interactive Visual Debugger with a Customizable View},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100879787,
  author = {Youyou Cong and Kenichi Asai},
  title = {Towards Dependently-Typed Control Effects},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100881714,
  author = {叢 悠悠},
  title = {限定継続を使った計算効果プログラミング},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100881643,
  author = {Fathul Asrar Alfansuri and Hidehiko Masuhara and Luthfan Lubis and Youyou Cong},
  title = {Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100869651,
  author = {Youyou Cong},
  title = {Composing Music from Types},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100869650,
  author = {Youyou Cong},
  title = {Type-Guided Music Composition},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100866358,
  author = {叢 悠悠},
  title = {型を利用した音楽自動生成に向けて},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100866359,
  author = {角田和広 and 増原英彦 and 叢 悠悠},
  title = {エラー生成クイズの提案と実施様子の観察結果の紹介},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100866360,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに基づいた初学者のための学習環境},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100866361,
  author = {Youyou Cong},
  title = {Towards Type-Based Music Composition},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100867029,
  author = {Youyou Cong},
  title = {Understanding Algebraic Effect Handlers via Delimited Control Operators},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100867030,
  author = {Youyou Cong and Hidehiko Masuhara and Daan Leijen},
  title = {Sound and Complete Type Inference for Closed Effect Rows},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100867031,
  author = {Naoyao Furudono and Youyou Cong and Hidehiko Masuhara and Daan Leijen},
  title = {Towards Efficient Adjustment of Effect Rows},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100873856,
  author = {Shouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
  title = {Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100873852,
  author = {Shusuke Takahashi and Yusuke Izawa and Hidehiko Masuhara and Youyou Cong},
  title = {An approach to collect object graphs for data-structure live programming based on a language implementation framework},
  booktitle = {情報処理学会論文誌 プログラミング},
  year = 2022,
}

@inproceedings{CTT100907992,
  author = {Syouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
  title = {Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages},
  booktitle = {},
  year = 2022,
}