@article{CTT100847286,
  author = {Youyou Cong and Chiaki Ishio and Kaho Honda and Kenichi Asai},
  title = {A Functional Abstraction of Typed Invocation Contexts},
  journal = {Proceedings of the 6th International Conference on Formal Structure for Computation and Deduction},
  year = 2021,
}

@inproceedings{CTT100861224,
  author = {荒井滉平 and 増原英彦 and 叢悠悠},
  title = {WebAssemblyを対象にしたSchemeコンパイラの作成に向けて},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100861228,
  author = {Fumi Takeuchi and 増原 英彦 and Raffi Khatchadourian and 叢 悠悠},
  title = {Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100861226,
  author = {角田和広 and 増原英彦 and 叢 悠悠},
  title = {エラーを起こさせる初学者向けプログラミングドリルの提案},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100861225,
  author = {津山勝輝 and 叢悠悠 and 増原英彦},
  title = {型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100854433,
  author = {Ningning Xie and Youyou Cong and Daan Leijen},
  title = {First-class Names for Effect Handlers},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100854434,
  author = {Kazuki Niimi and Youyou Cong and Hidehiko Masuhara and Jonathan Immanuel Brachthäuser},
  title = {Contextual Polymorphism Meets Bidirectional Effects},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100859051,
  author = {Junya Nose and Youyou Cong and Hidehiko Masuhara},
  title = {Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100854435,
  author = {Yusuke Izawa and Hidehiko Masuhara and Carl Friedrich Bolz-Tereick and Youyou Cong},
  title = {Threaded Code Generation with a Meta-tracing JIT Compiler},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100847287,
  author = {叢 悠悠},
  title = {Agda による対位法の形式化},
  booktitle = {第23回プログラミングおよびプログラミング言語ワークショップ},
  year = 2021,
}

@inproceedings{CTT100849135,
  author = {古殿 直也 and 叢 悠悠 and 増原 英彦},
  title = {Koka言語に対するエフェクト割り当て最適化},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849137,
  author = {能勢 純弥 and 叢 悠悠 and 増原 英彦},
  title = {デザインレシピに基づいたプログラミングための開発環境の構築に向けて},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849134,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849136,
  author = {高橋 修祐 and 伊澤 侑祐 and 増原 英彦 and 叢 悠悠},
  title = {汎言語的ライブプログラミング環境のためのデータ構造解析手法},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849132,
  author = {新美和生 and 叢悠悠 and 増原英彦},
  title = {Effekt言語の双方向エフェクトによる拡張},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849131,
  author = {伊澤侑祐 and 増原英彦 and 叢悠悠},
  title = {An Interpreter Design for Supporting Different JIT Compilations in RPython Framework},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100860489,
  author = {Junya Nose and Youyou Cong and Hidehiko Masuhara},
  title = {Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100836601,
  author = {Kenichi Asai and Youyou Cong and Chiaki Ishio},
  title = {A Functional Abstraction of Typed Trails},
  booktitle = {},
  year = 2021,
}