( en | de | ru )

 

Disambiguation of "Cong, Youyou"

Author of the publication

copydeleteadd this publication to your clipboard
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.

, , and . PPDP, page 4:1-4:13. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Irene Congehl

Martha Congehl

Salvador Congost Zimmermann

Lina Cong

Daniel Congreve

 

Other publications of authors with the same name

Towards Efficient Adjustment of Effect Rows., , , and . TFP, volume 13401 of Lecture Notes in Computer Science, page 169-191. Springer, (2022)Compiling with continuations, or without? whatever., , , and . Proc. ACM Program. Lang., 3 (ICFP): 79:1-79:28 (2019)Type-preserving CPS translation of Σ and Π types is not not possible., , , and . Proc. ACM Program. Lang., 2 (POPL): 22:1-22:33 (2018)On Teaching Type Systems as Macros (Lightning Talk)., , and . Scheme@ICFP, volume CSE-TR-001-21 of CSE Technical Reports, page 77. University of Michigan, (2020)Understanding Algebraic Effect Handlers via Delimited Control Operators., and . TFP, volume 13401 of Lecture Notes in Computer Science, page 59-79. Springer, (2022)First-class names for effect handlers., , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 30-59 (2022)Handling delimited continuations with dependent types., and . Proc. ACM Program. Lang., 2 (ICFP): 69:1-69:31 (2018)A Functional Abstraction of Typed Invocation Contexts., , , and . Log. Methods Comput. Sci., (2022)Program State Visualizer with User-Defined Representation Conversion (WIP)., , and . DEBT@SIGMOD, page 5-10. ACM, (2023)Implementing a stepper using delimited continuations., and . SCSS, volume 39 of EPiC Series in Computing, page 42-54. EasyChair, (2016)