Concepedia

Youyou Cong

YC

3

Publications

44

Citations

3

H-Index

2017

Active since

Affiliations

Ochanomizu University(Current)

Youyou Cong is an author at Ochanomizu University specializing in engineering, formal methods, and program analysis.

ORCID

Top concepts

Publications per year

2017–2019

3

Publications

3

Compiling with continuations, or without? whatever.

Youyou Cong, Leo Osvald, Grégory M. Essertel et al. · Proceedings of the ACM on Programming Languages · 2019 · 17 citations · Full text

, , +15

Type-preserving CPS translation of Σ and Π types is not not possible

William J. Bowman, Youyou Cong, Nick Rioux et al. · Proceedings of the ACM on Programming Languages · 2017 · 16 citations · Full text

, , +16

Handling delimited continuations with dependent types

Youyou Cong, Kenichi Asai · Proceedings of the ACM on Programming Languages · 2018 · 11 citations · Full text

Rows per page

1–3 of 3