| 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 | 29 | 2017 |
| 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 | 27 | 2019 |
| 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 | 12* | |
| Handling delimited continuations with dependent types Y Cong, K Asai Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018 | 10 | 2018 |
| Understanding Algebraic Effect Handlers via Delimited Control Operators Y Cong, K Asai International Symposium on Trends in Functional Programming, 59-79, 2022 | 7 | 2022 |
| Stepping OCaml T Furukawa, Y Cong, K Asai arXiv preprint arXiv:1906.11422, 2019 | 5 | 2019 |
| Threaded Code Generation with a Meta-Tracing JIT Compiler Y Izawa, H Masuhara, CF Bolz-Tereick, Y Cong arXiv preprint arXiv:2106.12496, 2021 | 4 | 2021 |
| Implementing a stepper using delimited continuations Y Cong, K Asai contract 1, r1, 2016 | 4 | 2016 |
| 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 | 3 | 2021 |
| Shifting and Resetting in the Calculus of Constructions Y Cong, K Asai The 19th International Symposium on Trends in Functional Programming (TFP 2018), 2018 | 3 | 2018 |
| Counterpoint by Construction Y Cong, J Leo Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019 | 2 | 2019 |
| Analysis and implementation of focus and inverse scope by delimited continuation Y Cong ESSLLI 2014 Student Session, 177, 2014 | 2 | 2014 |
| 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 | 1 | 2023 |
| 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 | 1 | 2023 |
| 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 | 1 | 2022 |
| Towards Efficient Adjustment of Effect Rows N Furudono, Y Cong, H Masuhara, D Leijen International Symposium on Trends in Functional Programming, 169-191, 2022 | 1 | 2022 |
| A Functional Abstraction of Typed Trails K Asai, Y Cong, C Ishio The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation …, 2021 | 1 | 2021 |
| Contextual Effect Polymorphism Meets Bidirectional Effects K Niimi, Y Cong, H Masuhara, J Immanuel TyDe, 2021 | 1 | 2021 |
| A DSL for providing feedback on htdp-based programming J Nose, Y Cong, H Masuhara TFPIE, 2021 | 1 | 2021 |
| Only Control Effects and Dependent Types Y Cong, WJ Bowman The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE …, 2017 | 1 | 2017 |
William J. BowmanUniversity of British ColumbiaVerified email at cs.ubc.ca
