( en | de | ru )

 

Disambiguation of "Cong, Youyou"

Author of the publication

copydeleteadd this publication to your clipboard
Sound and Complete Type Inference for Closed Effect Rows.

, , , and . TFP, volume 13401 of Lecture Notes in Computer Science, page 144-168. Springer, (2022)

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.

Martha Congehl

Irene 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)Mio: A Block-Based Environment for Program Design., , and . SPLASH-E, page 62-69. ACM, (2022)Implementing a stepper using delimited continuations., and . SCSS, volume 39 of EPiC Series in Computing, page 42-54. EasyChair, (2016)Sound and Complete Type Inference for Closed Effect Rows., , , and . TFP, volume 13401 of Lecture Notes in Computer Science, page 144-168. Springer, (2022)