@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{CTT100925118,
  author = {Youyou Cong and Hironori Kawazoe and Hidehiko Masuhara},
  title = {A Mostly CPS, Partly ANF Translation of Dependent Types},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100925119,
  author = {Jessica Belicia Cahyono and Youyou Cong and Hidehiko Masuhara},
  title = {Daisy: A Block-Based Environment for Learning Data Modeling},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100925120,
  author = {Akane Taniguchi and Youyou Cong and Hidehiko Masuhara},
  title = {Formalizing an Object-Oriented Programming Language with Delimited Control},
  booktitle = {},
  year = 2024,
}

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

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

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

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

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

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

@inproceedings{CTT100900844,
  author = {Youyou Cong},
  title = {Designing a Language for Learning Continuations},
  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{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{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{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{CTT100869650,
  author = {Youyou Cong},
  title = {Type-Guided Music Composition},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100869651,
  author = {Youyou Cong},
  title = {Composing Music from Types},
  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,
}

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

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

@inproceedings{CTT100861225,
  author = {津山勝輝 and 叢悠悠 and 増原英彦},
  title = {型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて},
  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{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{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{CTT100849131,
  author = {伊澤侑祐 and 増原英彦 and 叢悠悠},
  title = {An Interpreter Design for Supporting Different JIT Compilations in RPython Framework},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100847287,
  author = {叢 悠悠},
  title = {Agda による対位法の形式化},
  booktitle = {第23回プログラミングおよびプログラミング言語ワークショップ},
  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{CTT100849132,
  author = {新美和生 and 叢悠悠 and 増原英彦},
  title = {Effekt言語の双方向エフェクトによる拡張},
  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{CTT100849395,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {パラメタライズドモナドによる依存アップデートの形式化に向けて},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849394,
  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{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{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{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,
}