|
新美和生 研究業績一覧 (3件)
- 2014
- 2013
- 2012
- 2011
- 2010
- 全件表示
国際会議発表 (査読有り)
-
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.
-
Kazuki Niimi,
Youyou Cong,
Hidehiko Masuhara,
Jonathan Immanuel Brachthäuser.
Contextual Polymorphism Meets Bidirectional Effects,
The 6th Workshop on Type-Driven Development (TyDe 2021),
Aug. 2021.
国内会議発表 (査読なし・不明)
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|