\u6c60\u5b88\u548c\u69fb\" target=\"_blank\" rel=\"noopener\">Kazuki Ikemori<\/a>. Students’ Understanding of (Delimited) Continuations.\u00a0 The 57th ACM Technical Symposium on Computer Science Education (SIGCSE TS 2026), St. Louis, MO, USA, February 2026.<\/p>\n<\/li>\n<\/ul>\n
Youyou Cong, Filip Str\u00f6mb\u00e4ck, and Kazuki Ikemori<\/a>.\u00a0 Continuations for All: Language Design Considerations for Accessible Continuations.\u00a0 The 2025 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2025), Singapore, Singapore, October 2025.<\/p>\n<\/li>\n Jessica Belicia Cahyono<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 Daisy: An Exercise Environment for Learning Information Modeling.\u00a0 The 2025 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2025), Singapore, Singapore, October 2025.<\/p>\n<\/li>\n Kouta Kumamoto<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 An Interactive Learning Environment for Program Design.\u00a0 The 2025 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2025), Singapore, Singapore, October 2025.<\/p>\n<\/li>\n Kazuhiro Tsunoda<\/a>, Hidehiko Masuhara<\/a>, and Youyou Cong.\u00a0 Mind the Error Message: an Inverted Quiz Format to Direct Learner\u2019s Attention to Error Messages.\u00a0 The 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023), Turku, Finland, July 2023. (<\/span>paper<\/span><\/a>)<\/span><\/p>\n<\/li>\n Ningning Xie<\/a>, Youyou Cong, Kazuki Ikemori<\/a>, and Daan Leijen<\/a>.\u00a0 First-Class Names for Effect Handlers.\u00a0 The 28th International Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2022), Auckland, New Zealand, December 2022. (paper<\/a>, artifact<\/a>, slides<\/a>, video<\/a>)<\/p>\n<\/li>\n Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai.\u00a0 A Functional Abstraction of Typed Invocation Contexts.\u00a0 Logical Methods in Computer Science (LMCS) Volume 18, Issue 3, September 2022. (paper<\/a>, code<\/a>)<\/p>\n<\/li>\n Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai. A Functional Abstraction of Typed Invocation Contexts. The 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), online, July 2021. (paper<\/span><\/a>, slides<\/a><\/span>, video<\/a><\/span>, code<\/a><\/span>)<\/p>\n<\/li>\n Youyou Cong, Leo Osvald, Gregory Essertel, and Tiark Rompf. Compiling with Continuations, or without? Whatever. The 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019), Berlin, Germany, August 2019. (paper<\/a><\/span>, slides<\/a><\/span>, video<\/a><\/span>)<\/p>\n<\/li>\n Youyou Cong and Kenichi Asai. Handling Delimited Continuations with Dependent Types. The 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018), St. Louis, MO, USA, September 2018. (paper<\/a><\/span>, slides<\/a><\/span>, video<\/a><\/span>)<\/p>\n<\/li>\n William J. Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed. Type-Preserving CPS Translation of Sigma and Pi Types is Not Not Possible. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Los Angeles, CA, USA, January 2018. (paper<\/a><\/span>, appendix<\/a><\/span>, video<\/a><\/span>)<\/p>\n<\/li>\n Youyou Cong and Kenichi Asai. Implementing a stepper using delimited continuations. In Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016), Tokyo, Japan, March 2016. (paper<\/a><\/span>, slides<\/a><\/span>, code<\/a><\/span>)<\/p>\n<\/li>\n Youyou Cong, Kenichi Asai, and Daisuke Bekki. Focus, Inverse Scope, and Delimited Control. In Proceedings of the 12th International Conference on Logic and Engineering of Natural Language Semantics (LENLS 12), Kanagawa, Japan, November 2015. (paper<\/a><\/span>, slides<\/a><\/span>, code<\/a><\/span>)<\/p>\n<\/li>\n Youyou Cong. Analysis and Implementation of Focus and Inverse Scope by Delimited Continuations. In Proceedings of the ESSLLI 2014 Student Session, pp. 177-189, 26th European Summer School in Logic, Language and Information, T\u00fcbingen, Germany, August 2014. (paper<\/a><\/span>, slides<\/a><\/span>, code<\/a><\/span>)<\/p>\n<\/li>\n<\/ul>\n Youyou Cong.\u00a0 Continuations in Music.\u00a0 Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday (OlivierFest 2025), Singapore, Singapore, October 2025.<\/p>\n<\/li>\n Youyou Cong.\u00a0 Types as a Specification Language for Creativity.\u00a0 The 6th International Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2025), Singapore, Singapore, 2025.<\/p>\n<\/li>\n Youyou Cong, Hironori Kawazoe<\/a>, and Hidehiko Masuhara<\/a>.\u00a0 A Mostly CPS, Partly ANF Translation of Dependent Types.\u00a0 The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024).\u00a0 (paper<\/a>, slides<\/a>)<\/p>\n<\/li>\n Jessica Belicia Cahyono<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 Daisy: A Block-Based Environment for Learning Data Modeling.\u00a0 The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024). (paper<\/a>)<\/p>\n<\/li>\n Akane Taniguchi<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 Formalizing an Object-Oriented Programming Language with Delimited Control.\u00a0 The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024). (paper<\/a>)<\/p>\n<\/li>\n<\/ul>\n Youyou Cong.\u00a0 Towards a Type Theory for Verifying Gradable Properties.\u00a0 IFIP WG 2.8 meeting, Utrecht, Netherlands, April 2024. (slides<\/a>)<\/p>\n<\/li>\n Youyou Cong.\u00a0 One-Pass CPS Translation of Dependent Types.\u00a0 The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2024, London, UK, January 2024. (abstract<\/a>, slides<\/a>)<\/p>\n<\/li>\n Syouki Tsuyama<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 An Intrinsically Typed Compiler for Algebraic Effect Handlers.\u00a0 The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), London, UK, January 2024. (paper<\/a>)<\/p>\n<\/li>\n Kazuki Ikemori<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.\u00a0 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023), Lisbon, Portugal, October 2023. (<\/span>paper<\/span><\/a>)<\/span><\/p>\n<\/li>\n Youyou Cong.\u00a0 Designing a Language for Learning Continuations.\u00a0 The Scheme and Functional Programming Workshop (Scheme 2023), Seattle, WA, USA, September 2023. (abstract<\/a>, slides<\/a>)<\/p>\n<\/li>\n Rifqi Adlan Apriyadi<\/a>, Hidehiko Masuhara<\/a>, and Youyou Cong.\u00a0 Program State Visualizer with User-Defined Representation Conversion.\u00a0 First Workshop on Future Debugging Techniques (DEBT 2023), Seattle, WA, USA, July 2023. (paper<\/a>)<\/p>\n<\/li>\n Youyou Cong and Kenichi Asai.\u00a0 Towards a Reflection for Effect Handlers.\u00a0 PEPM 2023, Boston, MA, USA, January 2023. (paper<\/a><\/span>, slides<\/a><\/span>, video<\/a>)<\/p>\n<\/li>\n Youyou Cong.\u00a0 In Search of a Type Theory for Fuzzy Properties.\u00a0 International Conference on Logic and Engineering of Natural Language Semantics (LENLS 19), Tokyo, Japan, November 2022. (abstract<\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong and Kenichi Asai.\u00a0 Towards Dependently-Typed Control Effects.\u00a0 The 7th Workshop on Type-Driven Development (TyDe 2022), Ljubljana, Slovenia, September 2022. (abstract<\/a>, slides<\/a>, video<\/a>)<\/p>\n<\/li>\n Youyou Cong, Shin-ya Katsumata, Kazuki Niimi<\/a>, and Jonathan Immanuel Brachth\u00e4user<\/a>.\u00a0 Monadic Semantics of Bidirectional Effects.\u00a0 The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022), Ljubljana, Slovenia, September 2022.<\/span><\/p>\n<\/li>\n<\/ul>\n Youyou Cong.\u00a0 Type-Guided Music Composition.\u00a0 YOW! Lambda Jam 2022, online, May 2022. (slides<\/a>)<\/p>\n<\/li>\n Naoya Furudono<\/a>, Youyou Cong, Hidehiko Masuhara<\/a>, and Daan Leijen<\/a>.\u00a0 Towards Efficient Adjustment of Effect Rows.\u00a0 International Symposium on Trends in Functional Programming (TFP 2022), online, March 2022. (paper<\/a>)<\/p>\n<\/li>\n Kazuki Ikemori<\/a>, Youyou Cong, Hidehiko Masuhara<\/a>, and Daan Leijen<\/a>.\u00a0 Sound and Complete Type Inference for Closed Effect Rows.\u00a0 International Symposium on Trends in Functional Programming (TFP 2022), online, March 2022.\u00a0(paper<\/a>)<\/p>\n<\/li>\n Youyou Cong and Kenichi Asai.\u00a0 Understanding Algebraic Effect Handlers via Delimited Control Operators.\u00a0 International Symposium on Trends in Functional Programming (TFP 2022), online, March 2022.\u00a0 (paper<\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong. \u00a0 Towards Type-Based Music Composition.\u00a0 The 11th International Workshop on Trends in Functional Programming in Education (TFPIE 2022), online, March 2022.\u00a0 (abstract<\/a>, slides<\/a>)<\/p>\n<\/li>\n Syouki Tsuyama<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages.\u00a0 First Workshop on the Implementation of Type Systems (WITS 2022), Philadelphia, PA, June 2022. (abstract<\/a>)<\/p>\n<\/li>\n Junya Nose<\/a>, Youyou Cong, Hidehiko Masuhara<\/a>.\u00a0 Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe.\u00a0 The Scheme and Functional Programming Workshop (Scheme 2021), online, August 2021.\u00a0 (abstract<\/a>)<\/p>\n<\/li>\n Kazuki Niimi<\/a>, Youyou Cong, Hidehiko Masuhara<\/a>, Jonathan Immanuel Brachth\u00e4user<\/a>.\u00a0 Contextual Polymorphism Meets Bidirectional Effects.\u00a0 The 6th Workshop on Type-Driven Development (TyDe 2021), online, August 2021.\u00a0 (abstract<\/a>, slides<\/a>, video<\/a>)<\/p>\n<\/li>\n Ningning Xie<\/a>, Youyou Cong, Daan Leijen<\/a>.\u00a0 First-class Names for Effect Handlers.\u00a0 The 9th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2021), online, August 2021.\u00a0 (abstract<\/a>, video<\/a>)<\/p>\n<\/li>\n Junya Nose<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach.\u00a0 The 10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021), online, February 2021.\u00a0 (abstract<\/a>, slides<\/a>)<\/p>\n<\/li>\n Kenichi Asai, Youyou Cong, and Chiaki Ishio.\u00a0 A Functional Abstraction of Typed Trails.\u00a0 The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021), online, January 2021.\u00a0 (abstract<\/a>, slides<\/a>, video<\/a>)<\/p>\n<\/li>\n Youyou Cong, Naoya Furudono<\/a>, and Hidehiko Masuhara<\/a>.\u00a0 On Teaching Type Systems as Macros. The Scheme and Functional Programming Workshop (Scheme 2020), online, August 2020.\u00a0 (abstract<\/a>, slides<\/a>)<\/p>\n<\/li>\n Junya Nose<\/a>, Youyou Cong, and Hidehiko Masuhara<\/a>.\u00a0 Designing a Programming Environment Base on the Program Design Recipe. The Scheme and Functional Programming Workshop (Scheme 2020), online, August 2020.\u00a0 (abstract<\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong and John Leo.\u00a0 Counterpoint by Construction. The 7th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2019), Berlin, Germany, August 2019.\u00a0 (paper<\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong and Akiko Mito.\u00a0 Induction via Recursion: A Proofs-as-Programs Approach to Math Education.\u00a0 The 7th International Workshop on Trends in Functional Programming in Education (TFPIE 2018), Gothenburg, Sweden, June 2018.\u00a0 (paper<\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong and Kenichi Asai.\u00a0 Shifting and Resetting in the Calculus of Constructions.\u00a0 The 19th International Symposium on Trends in Functional Programming (TFP 2018), Gothenburg, Sweden, June 2018.\u00a0 (paper<\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong.\u00a0 Combining Control Operators and Dependent Types.\u00a0 The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) Student Research Competition, Los Angeles, USA January 2018.\u00a0 (abstract<\/a>, poster<\/a>)<\/p>\n<\/li>\n Youyou Cong and William J. Bowman.\u00a0 Only Control Effects and Dependent Types. The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2017), Oxford University, September 2017. (abstract<\/a>, code<\/a>)<\/p>\n<\/li>\n Youyou Cong and Akiko Mito.\u00a0 A half-day class in OCaml for non-CS major students. The 5th International Workshop on Trends in Functional Programming in Education (TFPIE 2016), College Parc, MD, USA, June 2016. (draft<\/span><\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong.\u00a0 Implementing a Stepper using Delimited Continuations. 27th New England Programming Languages Symposium, Middletown, CT, USA, June 2015. (abstract<\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong.\u00a0 Focus and Delimited Continuations. Workshop on Continuations and Scope, New York, NY, USA, May 2015. (handout<\/a>, slides<\/a>)<\/p>\n<\/li>\n Youyou Cong.\u00a0 Analysis and Implementation of Focus and Inverse Scope by Delimited Continuations. Kyoto Summer School in Logic, Language and Information, Kyoto, Japan, August 2014. (<\/span>abstract<\/a>, <\/span>slides<\/a>)<\/span><\/p>\n<\/li>\n<\/ul>\n<\/div>\n<\/div>\n Invited Talks & Lectures<\/strong><\/p>\n Introduction to Dependently Typed Programming in Agda.\u00a0 PPL Summer School 2025, September 2025. (materials<\/a>)<\/p>\n<\/li>\n Continuations from Three Angles.\u00a0 FLOPS 2024 keynote, May 2024. (slides<\/a>)<\/p>\n<\/li>\n Programming Computational Effects with Delimited Continuations.\u00a0 PPL Summer School 2022, August 2022. (materials<\/a>, video<\/a>)<\/p>\n<\/li>\n<\/ul>\n A Tutorial on Delimited Continuations. ERATO MMSD Project Colloquium, June 15, 2021.<\/p>\n<\/li>\n<\/ul>\n<\/div>\n\n
\n
\n
\n
\n