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 | 25 | 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 | 24 | 2019 |
Handling delimited continuations with dependent types Y Cong, K Asai Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018 | 8 | 2018 |
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 | 5 | 2019 |
Understanding Algebraic Effect Handlers via Delimited Control Operators Y Cong, K Asai International Symposium on Trends in Functional Programming, 59-79, 2022 | 4 | 2022 |
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 | 2 | 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 | 2 | 2018 |
Analysis and implementation of focus and inverse scope by delimited continuation Y Cong ESSLLI 2014 Student Session, 177, 2014 | 2 | 2014 |
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 |
A DSL for providing feedback on htdp-based programming J Nose, Y Cong, H Masuhara TFPIE, 2021 | 1 | 2021 |
Counterpoint by Construction Y Cong, J Leo Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019 | 1 | 2019 |
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 |
Focus, inverse scope, and delimited control Y Cong, K Asai, D Bekki Proceedings of the 12th International Workshop on Logic and Engineering in …, 2015 | 1 | 2015 |
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 |
Effect Handlers and General Purpose Languages JI Brachthäuser, Y Cong, J Gibbons NIIShonanMeetingReport 203, 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 |
Weighted Refinement Types for Counterpoint Composition Y Cong Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art …, 2023 | | 2023 |