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

@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,
}

@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,
}

@article{CTT100835132,
  author = {Tsukino Furukawa and Youyou Cong and Kenichi Asai},
  title = {Stepping OCaml},
  journal = {Post-proceedings of the 7th Workshop on Trends in Functional Programming in Education (TFPIE 2018)},
  year = 2019,
}

@article{CTT100879054,
  author = {叢悠悠 and 浅井健一},
  title = {限定継続命令をもつ依存型付き言語の設計},
  journal = {コンピュータ ソフトウェア},
  year = 2019,
}

@inproceedings{CTT100909297,
  author = {Youyou Cong},
  title = {Continuations from Three Angles},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100908543,
  author = {角田和広 and 増原英彦 and 叢悠悠},
  title = {コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール},
  booktitle = {},
  year = 2024,
}

@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{CTT100894498,
  author = {Youyou Cong},
  title = {Weighted Refinement Types for Counterpoint Composition},
  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{CTT100883723,
  author = {Youyou Cong and Kenichi Asai},
  title = {Towards a Reflection for Effect Handlers},
  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{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{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{CTT100882380,
  author = {Youyou Cong},
  title = {In Search of a Type Theory for Fuzzy Properties},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100879787,
  author = {Youyou Cong and Kenichi Asai},
  title = {Towards Dependently-Typed Control 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{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{CTT100881645,
  author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
  title = {Interactive Visual Debugger with a Customizable View},
  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{CTT100866359,
  author = {角田和広 and 増原英彦 and 叢 悠悠},
  title = {エラー生成クイズの提案と実施様子の観察結果の紹介},
  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{CTT100867030,
  author = {Youyou Cong and Hidehiko Masuhara and Daan Leijen},
  title = {Sound and Complete Type Inference for Closed Effect Rows},
  booktitle = {},
  year = 2022,
}

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

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

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

@inproceedings{CTT100866358,
  author = {叢 悠悠},
  title = {型を利用した音楽自動生成に向けて},
  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,
}

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

@inproceedings{CTT100861225,
  author = {津山勝輝 and 叢悠悠 and 増原英彦},
  title = {型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて},
  booktitle = {},
  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{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{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{CTT100854433,
  author = {Ningning Xie and Youyou Cong and Daan Leijen},
  title = {First-class Names for Effect Handlers},
  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{CTT100849134,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明},
  booktitle = {},
  year = 2021,
}

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

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

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

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

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

@inproceedings{CTT100849135,
  author = {古殿 直也 and 叢 悠悠 and 増原 英彦},
  title = {Koka言語に対するエフェクト割り当て最適化},
  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,
}

@inproceedings{CTT100837131,
  author = {Hidehiko Masuhara and Shusuke Takahashi and Yusuke Izawa and Youyou Cong},
  title = {Toward a Multi-Language and Multi-Environment Framework for Live Programming},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849394,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに基づいたプログラミング環境の実装に向けて},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849395,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {パラメタライズドモナドによる依存アップデートの形式化に向けて},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849393,
  author = {Youyou Cong and Leo Osvald and Gregory Essertel and Tiark Rompf},
  title = {Compiling with Continuations, or without? Whatever.（トップカンファレンス特別講演）},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100835134,
  author = {Chenxin Jizhe and Hidehiko Masuhara and Matthias Springer and Youyou Cong},
  title = {Sanajeh: A DSL for GPGPU programming with Python objects},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100835131,
  author = {Youyou Cong and Naoya Furudono and Hidehiko Masuhara},
  title = {On Teaching Type Systems as Macros},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100826194,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに沿ったプログラミング環境の実装},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100835133,
  author = {Yusuke Izawa and Hidehiko Masuhara and Tomoyuki Aotani and Youyou Cong},
  title = {A Stack Hybridization for Meta-hybrid Just-in-time Compilation},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100803805,
  author = {Youyou Cong},
  title = {Demo: Counterpoint by Construction},
  booktitle = {Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design},
  year = 2019,
}

@inproceedings{CTT100803802,
  author = {Youyou Cong and Leo Osvald and Gregory Essertel and Tiark Rompf},
  title = {Compiling with Continuations, or without? Whatever.},
  booktitle = {Proceedings of the ACM on Programming Languages},
  year = 2019,
}

@inproceedings{CTT100803803,
  author = {Youyou Cong and Kenichi Asai},
  title = {Handling Delimited Continuations with Dependent Types},
  booktitle = {Proceedings of the ACM on Programming Languages},
  year = 2018,
}

@inproceedings{CTT100803804,
  author = {William J. Bowman and Youyou Cong and Nich Rioux and Amal Ahmed},
  title = {Type-preserving CPS translation of Σ and Π types is not not possible},
  booktitle = {Proceedings of the ACM on Programming Languages},
  year = 2018,
}

@misc{CTT100823881,
  author = {Youyou Cong and Akiko Mito},
  title = {Improving Students' Understanding of Mathematical Induction via Programming},
  year = 2020,
}