GSOL: A Confluence Checker for Haskell Rewrite Rules
オープンアクセス
-
- 浜名 誠
- 群馬大学
書誌事項
- タイトル
- GSOL: A Confluence Checker for Haskell Rewrite Rules
- 著者
- Yao Faustin Date, 浜名誠
収録刊行物
-
- 日本ソフトウェア科学会大会講演論文集
-
日本ソフトウェア科学会大会講演論文集 38 2021