|
叢悠悠 2022年 研究業績一覧 (22件 / 67件)
論文
国際会議発表 (査読有り)
-
Ningning Xie,
Youyou Cong,
Kazuki Ikemori,
Daan Leijen.
First-Class Names for Effect Handlers,
International Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2022),
Proceedings of the ACM on Programming Languages,
Vol. 6,
No. OOPSLA2,
Dec. 2022.
-
Junya Nose,
Youyou Cong,
Hidehiko Masuhara.
Mio: A Block-Based Environment for Program Design,
SPLASH-E 2022,
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E,
Dec. 2022.
-
Youyou Cong.
In Search of a Type Theory for Fuzzy Properties,
International Conference on Logic and Engineering of Natural Language Semantics (LENLS 19),
Nov. 2022.
-
Youyou Cong,
Shin-ya Katsumata,
Kazuki Niimi,
Jonathan Immanuel Brachthäuser.
Monadic Semantics of Bidirectional Effects,
The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022),
Sept. 2022.
-
Youyou Cong,
Kenichi Asai.
Towards Dependently-Typed Control Effects,
The 7th Workshop on Type-Driven Development (TyDe 2022),
Sept. 2022.
-
Youyou Cong.
Understanding Algebraic Effect Handlers via Delimited Control Operators,
International Symposium on Trends in Functional Programming (TFP 2022),
Mar. 2022.
-
Youyou Cong,
Hidehiko Masuhara,
Daan Leijen.
Sound and Complete Type Inference for Closed Effect Rows,
International Symposium on Trends in Functional Programming (TFP 2022),
Mar. 2022.
-
Naoyao Furudono,
Youyou Cong,
Hidehiko Masuhara,
Daan Leijen.
Towards Efficient Adjustment of Effect Rows,
International Symposium on Trends in Functional Programming (TFP 2022),
Mar. 2022.
-
Shouki Tsuyama,
Youyou Cong,
Hidehiko Masuhara.
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion),
WITS 2022,
Jan. 2022.
国内会議発表 (査読有り)
-
Shusuke Takahashi,
Yusuke Izawa,
Hidehiko Masuhara,
Youyou Cong.
An approach to collect object graphs for data-structure live programming based on a language implementation framework,
第136回プログラミング研究発表会,
情報処理学会論文誌 プログラミング,
Jan. 2022.
-
Syouki Tsuyama,
Youyou Cong,
Hidehiko Masuhara.
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages,
First Workshop on the Implementation of Type Systems (WITS 2022),
Jan. 2022.
国際会議発表 (査読なし・不明)
国内会議発表 (査読なし・不明)
-
Youyou Cong,
Fumi Takeuchi;Hidehiko Masuhara;Youyou Cong,
Keisuke Ishibashi.
How many mutex bugs can a simple analysis find in Go programs?,
日本ソフトウェア科学会第39回大会,
Sept. 2022.
-
Rifqi Adlan Apriyadi,
Hidehiko Masuhara,
Youyou Cong.
Interactive Visual Debugger with a Customizable View,
日本ソフトウェア科学会第39回大会,
Sept. 2022.
-
叢 悠悠.
限定継続を使った計算効果プログラミング,
PPL サマースクール 2022,
Aug. 2022.
-
Fathul Asrar Alfansuri,
Hidehiko Masuhara,
Luthfan Lubis,
Youyou Cong.
Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation,
日本ソフトウェア科学会第39回大会,
Aug. 2022.
-
叢 悠悠.
型を利用した音楽自動生成に向けて,
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022),
Mar. 2022.
-
角田和広,
増原英彦,
叢 悠悠.
エラー生成クイズの提案と実施様子の観察結果の紹介,
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022),
Mar. 2022.
-
能勢純哉,
叢悠悠,
増原英彦.
デザインレシピに基づいた初学者のための学習環境,
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022),
Mar. 2022.
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|