@article{CTT100902511,
  author = {酒井 大我 and 増原 英彦 and 叢 悠悠},
  title = {プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計},
  journal = {},
  year = 2023,
}

@inproceedings{CTT100894498,
  author = {Youyou Cong},
  title = {Weighted Refinement Types for Counterpoint Composition},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100900844,
  author = {Youyou Cong},
  title = {Designing a Language for Learning Continuations},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100902512,
  author = {木内康介 and 増原英彦 and 叢悠悠},
  title = {学習者自身が物理現象をモデル化するシミュレータ SimSym の提案},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100894388,
  author = {Kazuhiro Tsunoda and Hidehiko Masuhara and Youyou Cong},
  title = {Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100892863,
  author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
  title = {Program State Visualizer with User-Defined Representation Conversion},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885300,
  author = {津山勝輝 and 叢悠悠 and 増原英彦},
  title = {エフェクトハンドラを持つ言語に対する依存型付きコンパイラ},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100906522,
  author = {Youyou Cong},
  title = {One-Pass CPS Translation of Dependent Types},
  booktitle = {Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)},
  year = 2023,
}

@inproceedings{CTT100906521,
  author = {Syouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
  title = {An Intrinsically Typed Compiler for Algebraic Effect Handlers},
  booktitle = {Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)},
  year = 2023,
}

@inproceedings{CTT100883723,
  author = {Youyou Cong and Kenichi Asai},
  title = {Towards a Reflection for Effect Handlers},
  booktitle = {},
  year = 2023,
}