Eta-equivalence in Core Dependent Haskell
Eta-equivalence in Core Dependent Haskell
复制标题
核心依赖 Haskell 中的 eta 等价
DOI：
10.4230/lipics.types.2019.7
复制
发表时间：
2020
影响因子：
--
通讯作者：
Weirich, Stephanie
中科院分区：
文献类型：
--
作者：
Kravchuk-Kirilyuk, Anastasiya;Voizard, Antoine;Weirich, Stephanie
