|
Publication List - Youyou Cong 2023 (10 / 67 entries)
Journal Paper
International Conference (Reviewed)
-
Youyou Cong.
Weighted Refinement Types for Counterpoint Composition,
The 11th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2023),
Sept. 2023.
-
Youyou Cong.
Designing a Language for Learning Continuations,
Scheme 2023,
Sept. 2023.
-
Kazuhiro Tsunoda,
Hidehiko Masuhara,
Youyou Cong.
Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages,
The 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023),
July 2023.
-
Rifqi Adlan Apriyadi,
Hidehiko Masuhara,
Youyou Cong.
Program State Visualizer with User-Defined Representation Conversion,
First Workshop on Future Debugging Techniques (DEBT 2023),
July 2023.
-
Youyou Cong.
One-Pass CPS Translation of Dependent Types,
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024),
Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024),
Jan. 2023.
-
Syouki Tsuyama,
Youyou Cong,
Hidehiko Masuhara.
An Intrinsically Typed Compiler for Algebraic Effect Handlers,
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024),
Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024),
Jan. 2023.
-
Youyou Cong,
Kenichi Asai.
Towards a Reflection for Effect Handlers,
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2023),
Jan. 2023.
Domestic Conference (Reviewed)
Domestic Conference (Not reviewed / Unknown)
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|