|
新美和生 研究業績一覧 (3件)
![2024 2024](/ls_arrow.gif)
![2020 2020](/ll_arrow.gif)
![2016 2016](/l_arrow.gif)
- 2015
- 2014
- 2013
- 2012
- 2011
![2014 2014](/r_arrow.gif)
![2010 2010](/rr_arrow.gif)
- 全件表示
国際会議発表 (査読有り)
-
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形式で保存
]
|