Ohori Atsushi | School Of Information Science Japan Advanced Institute Of Science And Technology(jaist)
スポンサーリンク
概要
- Ohori Atsushiの詳細を見る
- 同名の論文著者
- School Of Information Science Japan Advanced Institute Of Science And Technology(jaist)の論文著者
関連著者
-
Ohori Atsushi
School Of Information Science Japan Advanced Institute Of Science And Technology(jaist)
-
Choi Kwanghoon
School Of Information Science Japan Advanced Institute Of Science And Technology(jaist)
-
Choi Kwanghoon
School of Information Science, Japan Advanced Institute of Science and Technology(JAIST)
-
Ohori Atsushi
School of Information Science, Japan Advanced Institute of Science and Technology(JAIST)
著作論文
- A Type Theory for Krivine-style Evaluation and Compilation
- A Type Theory for Krivine-style Evaluation and Compilation