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 | 26 | 2019 |

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 | 26 | 2017 |

Handling delimited continuations with dependent types Y Cong, K Asai Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018 | 9 | 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 | 7* | |

Understanding Algebraic Effect Handlers via Delimited Control Operators Y Cong, K Asai International Symposium on Trends in Functional Programming, 59-79, 2022 | 5 | 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 | 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 |