Stratified type inference for generalized algebraic data types
Stratified type inference for generalized algebraic data types
复制标题
广义代数数据类型的分层类型推断
DOI：
10.1145/1111037.1111058
复制
发表时间：
2006
影响因子：
0.6
通讯作者：
Yann Régis
中科院分区：
文献类型：
--
作者：
F. Pottier;Yann Régis
广义代数数据类型的分层类型推断。
Stratified type inference for generalized algebraic data types.