Follow
Youyou Cong
Youyou Cong
Institute of Science Tokyo
Verified email at c.titech.ac.jp - Homepage
Title
Cited by
Cited by
Year
Compiling with Continuations, or without? Whatever.
Y Cong, L Osvald, GM Essertel, T Rompf
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019
302019
Type-preserving CPS translation of Σ and Π types is not not possible
WJ Bowman, Y Cong, N Rioux, A Ahmed
Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017
292017
First-class Names for Effect Handlers
N XIE, Y CONG, D LEIJEN
The 9th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE …, 0
13*
Handling delimited continuations with dependent types
Y Cong, K Asai
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018
102018
Understanding Algebraic Effect Handlers via Delimited Control Operators
Y Cong, K Asai
International Symposium on Trends in Functional Programming, 59-79, 2022
72022
Stepping OCaml
T Furukawa, Y Cong, K Asai
arXiv preprint arXiv:1906.11422, 2019
52019
Threaded Code Generation with a Meta-Tracing JIT Compiler
Y Izawa, H Masuhara, CF Bolz-Tereick, Y Cong
arXiv preprint arXiv:2106.12496, 2021
42021
Implementing a stepper using delimited continuations
Y Cong, K Asai
contract 1, r1, 2016
42016
A Functional Abstraction of Typed Invocation Contexts
Y Cong, C Ishio, K Honda, K Asai
The 6th International Conference on Formal Structures for Computation and …, 2021
32021
Shifting and Resetting in the Calculus of Constructions
Y Cong, K Asai
The 19th International Symposium on Trends in Functional Programming (TFP 2018), 2018
32018
Counterpoint by Construction
Y Cong, J Leo
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019
22019
Analysis and implementation of focus and inverse scope by delimited continuation
Y Cong
ESSLLI 2014 Student Session, 177, 2014
22014
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
K Ikemori, Y Cong, H Masuhara
Proceedings of the 25th International Symposium on Principles and Practice …, 2023
12023
Program State Visualizer with User-Defined Representation Conversion (WIP)
RA Apriyadi, H Masuhara, Y Cong
Proceedings of the 1st ACM International Workshop on Future Debugging …, 2023
12023
Mio: A Block-Based Environment for Program Design
J Nose, Y Cong, H Masuhara
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, 62-69, 2022
12022
Towards Efficient Adjustment of Effect Rows
N Furudono, Y Cong, H Masuhara, D Leijen
International Symposium on Trends in Functional Programming, 169-191, 2022
12022
A Functional Abstraction of Typed Trails
K Asai, Y Cong, C Ishio
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation …, 2021
12021
Contextual Effect Polymorphism Meets Bidirectional Effects
K Niimi, Y Cong, H Masuhara, J Immanuel
TyDe, 2021
12021
A DSL for providing feedback on htdp-based programming
J Nose, Y Cong, H Masuhara
TFPIE, 2021
12021
Only Control Effects and Dependent Types
Y Cong, WJ Bowman
The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE …, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20