Youyou Cong

According to our database, Youyou Cong authored at least 22 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Intrinsically Typed Compiler for Algebraic Effect Handlers.

Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2023

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

Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Towards a Reflection for Effect Handlers.

Youyou Cong, Kenichi Asai

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

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

Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

Weighted Refinement Types for Counterpoint Composition.

Youyou Cong

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, 2023

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

Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong

Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023

2022

First-class names for effect handlers.

Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen

Proc. ACM Program. Lang., 2022

A Functional Abstraction of Typed Invocation Contexts.

Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai

Log. Methods Comput. Sci., 2022

Threaded Code Generation with a Meta-Tracing JIT Compiler.

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong

J. Object Technol., 2022

An Approach to Collecting Object Graphs for Data-structure Live Programming Based on a Language Implementation Framework.

Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong

J. Inf. Process., 2022

Mio: A Block-Based Environment for Program Design.

Junya Nose, Youyou Cong, Hidehiko Masuhara

Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, 2022

Sound and Complete Type Inference for Closed Effect Rows.

Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

Towards Efficient Adjustment of Effect Rows.

Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

Understanding Algebraic Effect Handlers via Delimited Control Operators.

Youyou Cong, Kenichi Asai

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

2020

Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk).

Junya Nose, Youyou Cong, Hidehiko Masuhara

Proceedings of the 2020 Scheme and Functional Programming Workshop, 2020

On Teaching Type Systems as Macros (Lightning Talk).

Youyou Cong, Naoya Furudono, Hidehiko Masuhara

Proceedings of the 2020 Scheme and Functional Programming Workshop, 2020

2019

Compiling with continuations, or without? whatever.

Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf

Proc. ACM Program. Lang., 2019

Demo: counterpoint by construction.

Youyou Cong, John Leo

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

2018

Handling delimited continuations with dependent types.

Youyou Cong, Kenichi Asai

Proc. ACM Program. Lang., 2018

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

William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed

Proc. ACM Program. Lang., 2018

Stepping OCaml.

Tsukino Furukawa, Youyou Cong, Kenichi Asai

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

2016

Implementing a stepper using delimited continuations.

Youyou Cong, Kenichi Asai

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016