Proving Renaming for Haskell via Dependent Types: A Case-Study in Refactoring Soundness Extended Abstract
Proving Renaming for Haskell via Dependent Types: A Case-Study in Refactoring Soundness Extended Abstract
复制标题
通过依赖类型证明 Haskell 的重命名：重构稳健性的案例研究扩展摘要
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
A D Barwell
中科院分区：
文献类型：
--
作者：
A D Barwell
Haskell 98：词汇结构
DOI：
10.1017/s0956796803000418
发表时间：
2003
期刊：
J. Funct. Program.
影响因子：
--
作者：
S. Jones
通讯作者：
S. Jones
Haskell 重构的形式化
DOI：
10.1017/s0956796820000143
发表时间：
2005
期刊：
J. Funct. Program.
影响因子：
--
作者：
Huiqing Li;S. Thompson
通讯作者：
S. Thompson
使用 Idris 进行类型驱动开发
影响因子：
1.1
作者：
Jan de Muijnck
通讯作者：
Jan de Muijnck