Youyou Cong
Institute of Science Tokyo
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Software Engineering Research, Teaching and Learning Programming
Most-Cited Works
- → Compiling with continuations, or without? whatever.(2019)17 cited
- → Type-preserving CPS translation of Σ and Π types is not not possible(2017)16 cited
- → Handling delimited continuations with dependent types(2018)11 cited
- → First-class names for effect handlers(2022)8 cited
- → Stepping OCaml(2019)7 cited
- → Understanding Algebraic Effect Handlers via Delimited Control Operators(2022)7 cited
- → Implementing a stepper using delimited continuations(2018)5 cited
- → Mio: A Block-Based Environment for Program Design(2022)3 cited
- → Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators(2023)2 cited
- → Demo: counterpoint by construction(2019)2 cited