default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYouyou Cong
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c16]Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara:
An Intrinsically Typed Compiler for Algebraic Effect Handlers. PEPM 2024: 134-145- 2023
- [c15]Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong:
Program State Visualizer with User-Defined Representation Conversion (WIP). DEBT@ISSTA 2023: 5-10 - [c14]Youyou Cong:
Weighted Refinement Types for Counterpoint Composition. FARM 2023: 2-7 - [c13]Kazuhiro Tsunoda
, Hidehiko Masuhara, Youyou Cong:
Mind the Error Message: An Inverted Quiz Format to Direct Learner's Attention to Error Messages. ITiCSE (1) 2023: 382-388 - [c12]Youyou Cong, Kenichi Asai:
Towards a Reflection for Effect Handlers. PEPM@POPL 2023: 55-65 - [c11]Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara:
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. PPDP 2023: 4:1-4:13 - [e3]Youyou Cong, Pierre-Évariste Dagand:
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023. ACM 2023 [contents] - [e2]Shigeru Chiba, Youyou Cong, Elisa Gonzalez Boix:
Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023. ACM 2023 [contents] - 2022
- [j7]Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong:
An Approach to Collecting Object Graphs for Data-structure Live Programming Based on a Language Implementation Framework. J. Inf. Process. 30: 451-463 (2022) - [j6]Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong:
Threaded Code Generation with a Meta-Tracing JIT Compiler. J. Object Technol. 21(2): 2:1-11 (2022) - [j5]Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai:
A Functional Abstraction of Typed Invocation Contexts. Log. Methods Comput. Sci. 18(3) (2022) - [j4]Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen:
First-class names for effect handlers. Proc. ACM Program. Lang. 6(OOPSLA2): 30-59 (2022) - [c10]Youyou Cong, Kenichi Asai:
Understanding Algebraic Effect Handlers via Delimited Control Operators. TFP 2022: 59-79 - [c9]Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen:
Sound and Complete Type Inference for Closed Effect Rows. TFP 2022: 144-168 - [c8]Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen:
Towards Efficient Adjustment of Effect Rows. TFP 2022: 169-191 - [c7]Junya Nose, Youyou Cong, Hidehiko Masuhara:
Mio: A Block-Based Environment for Program Design. SPLASH-E 2022: 62-69 - [e1]Zena M. Ariola, Youyou Cong:
PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17 - 18, 2022. ACM 2022, ISBN 978-1-4503-9188-7 [contents] - 2021
- [c6]Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai:
A Functional Abstraction of Typed Invocation Contexts. FSCD 2021: 12:1-12:18 - [i2]Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong:
Threaded Code Generation with a Meta-tracing JIT Compiler. CoRR abs/2106.12496 (2021) - [i1]Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai:
A Functional Abstraction of Typed Invocation Contexts. CoRR abs/2110.07349 (2021) - 2020
- [c5]Youyou Cong, Naoya Furudono, Hidehiko Masuhara:
On Teaching Type Systems as Macros (Lightning Talk). Scheme@ICFP 2020: 77 - [c4]Junya Nose, Youyou Cong, Hidehiko Masuhara:
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk). Scheme@ICFP 2020: 78
2010 – 2019
- 2019
- [j3]Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf:
Compiling with continuations, or without? whatever. Proc. ACM Program. Lang. 3(ICFP): 79:1-79:28 (2019) - [c3]Youyou Cong, John Leo:
Demo: counterpoint by construction. FARM@ICFP 2019: 22-24 - 2018
- [j2]Youyou Cong, Kenichi Asai:
Handling delimited continuations with dependent types. Proc. ACM Program. Lang. 2(ICFP): 69:1-69:31 (2018) - [j1]William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed:
Type-preserving CPS translation of Σ and Π types is not not possible. Proc. ACM Program. Lang. 2(POPL): 22:1-22:33 (2018) - [c2]Tsukino Furukawa, Youyou Cong, Kenichi Asai:
Stepping OCaml. TFPIE@TFP 2018: 17-34 - 2016
- [c1]Youyou Cong, Kenichi Asai:
Implementing a stepper using delimited continuations. SCSS 2016: 42-54
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-11 18:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
