@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{CTT100881645,
  author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
  title = {Interactive Visual Debugger with a Customizable View},
  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{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{CTT100866359,
  author = {角田和広 and 増原英彦 and 叢 悠悠},
  title = {エラー生成クイズの提案と実施様子の観察結果の紹介},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100866360,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに基づいた初学者のための学習環境},
  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,
}

@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{CTT100873856,
  author = {Shouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
  title = {Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)},
  booktitle = {},
  year = 2022,
}