All Stories

  1. Students' Understanding of (Delimited) Continuations

    Article • February 2026, ACM (Association for Computing Machinery)

    Youyou Cong

  2. Continuations in Music

    Article • October 2025, ACM (Association for Computing Machinery)

    Youyou Cong

  3. Continuations for All: Language Design Considerations for Accessible Continuations

    Article • October 2025, ACM (Association for Computing Machinery)

    Youyou Cong

  4. Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators

    Article • October 2023, ACM (Association for Computing Machinery)

    Youyou Cong

  5. Weighted Refinement Types for Counterpoint Composition

    Article • August 2023, ACM (Association for Computing Machinery)

    Youyou Cong

  6. Program State Visualizer with User-Defined Representation Conversion (WIP)

    Article • July 2023, ACM (Association for Computing Machinery)

    Youyou Cong

  7. Mind the Error Message: An Inverted Quiz Format to Direct Learner's Attention to Error Messages

    Article • June 2023, ACM (Association for Computing Machinery)

    Hidehiko Masuhara, Youyou Cong

  8. Towards a Reflection for Effect Handlers

    Article • January 2023, ACM (Association for Computing Machinery)

    Youyou Cong

  9. First-class names for effect handlers

    Article • Proceedings of the ACM on Programming Languages, October 2022, ACM (Association for Computing Machinery)

    Youyou Cong

  10. Compiling with continuations, or without? whatever.

    Article • Proceedings of the ACM on Programming Languages, July 2019, ACM (Association for Computing Machinery)

    Youyou Cong

  11. Handling delimited continuations with dependent types

    Article • Proceedings of the ACM on Programming Languages, July 2018, ACM (Association for Computing Machinery)

    Youyou Cong

  12. Type-preserving CPS translation of Σ and Π types is not not possible

    Article • Proceedings of the ACM on Programming Languages, January 2018, ACM (Association for Computing Machinery)

    Youyou Cong