Youyou Cong

Orcid: 0000-0003-2315-6182

According to our database1, Youyou Cong authored at least 22 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An Intrinsically Typed Compiler for Algebraic Effect Handlers.
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2023
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Towards a Reflection for Effect Handlers.
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

Mind the Error Message: An Inverted Quiz Format to Direct Learner's Attention to Error Messages.
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

Weighted Refinement Types for Counterpoint Composition.
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, 2023

Program State Visualizer with User-Defined Representation Conversion (WIP).
Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023

2022
First-class names for effect handlers.
Proc. ACM Program. Lang., 2022

A Functional Abstraction of Typed Invocation Contexts.
Log. Methods Comput. Sci., 2022

Threaded Code Generation with a Meta-Tracing JIT Compiler.
J. Object Technol., 2022

An Approach to Collecting Object Graphs for Data-structure Live Programming Based on a Language Implementation Framework.
J. Inf. Process., 2022

Mio: A Block-Based Environment for Program Design.
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, 2022

Sound and Complete Type Inference for Closed Effect Rows.
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

Towards Efficient Adjustment of Effect Rows.
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

Understanding Algebraic Effect Handlers via Delimited Control Operators.
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

2020
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk).
Proceedings of the 2020 Scheme and Functional Programming Workshop, 2020

On Teaching Type Systems as Macros (Lightning Talk).
Proceedings of the 2020 Scheme and Functional Programming Workshop, 2020

2019
Compiling with continuations, or without? whatever.
Proc. ACM Program. Lang., 2019

Demo: counterpoint by construction.
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

2018
Handling delimited continuations with dependent types.
Proc. ACM Program. Lang., 2018

Type-preserving CPS translation of Σ and Π types is not not possible.
Proc. ACM Program. Lang., 2018

Stepping OCaml.
Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

2016
Implementing a stepper using delimited continuations.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016


  Loading...