Follow
Youyou Cong
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
232019
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
222017
Handling delimited continuations with dependent types
Y Cong, K Asai
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018
82018
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
6*
Stepping OCaml
T Furukawa, Y Cong, K Asai
arXiv preprint arXiv:1906.11422, 2019
52019
Understanding Algebraic Effect Handlers via Delimited Control Operators
Y Cong, K Asai
International Symposium on Trends in Functional Programming, 59-79, 2022
42022
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
22021
Shifting and Resetting in the Calculus of Constructions
Y Cong, K Asai
The 19th International Symposium on Trends in Functional Programming (TFP 2018), 2018
22018
Analysis and implementation of focus and inverse scope by delimited continuation
Y Cong
ESSLLI 2014 Student Session, 177, 2014
22014
A Functional Abstraction of Typed Trails
K Asai, Y Cong, C Ishio
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation …, 2021
12021
A DSL for providing feedback on htdp-based programming
J Nose, Y Cong, H Masuhara
TFPIE, 2021
12021
Counterpoint by Construction
Y Cong, J Leo
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019
12019
Only Control Effects and Dependent Types
Y Cong, WJ Bowman
The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE …, 2017
12017
Focus, inverse scope, and delimited control
Y Cong, K Asai, D Bekki
Proceedings of the 12th International Workshop on Logic and Engineering in …, 2015
12015
An Intrinsically Typed Compiler for Algebraic Effect Handlers
S Tsuyama, Y Cong, H Masuhara
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial …, 2024
2024
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
2023
Effect Handlers and General Purpose Languages
J Brachthäuser, Y Cong, J Gibbons
2023
Weighted Refinement Types for Counterpoint Composition
Y Cong
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20