2018年
Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings
- ,
- 開始ページ
- 1
- 終了ページ
- 16
- DOI
- 10.1007/978-3-319-90686-7_1
- 出版者・発行元
- Springer
- リンク情報
- ID情報
-
- DOI : 10.1007/978-3-319-90686-7_1