|
|
叢悠悠 研究業績一覧 (10件 / 64件)
論文
国際会議発表 (査読有り)
-
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.
国内会議発表 (査読有り)
国内会議発表 (査読なし・不明)
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|
各種検索
サポート
ヘルプ
