A Type Theory for Krivine-style Evaluation and Compilation
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2005-01-31
著者
-
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