...
languages; theory; type systems; abstract data types; recursion; generativity; recursive modules; effect systems;
机译:递归类型生成
机译:用于构造实体几何的生成递归网络
机译:GRASS:形状结构的生成递归自动编码器
机译:具有递归类型,类型参数和抽象类型的压缩签名
机译:归纳递归类型的封闭宇宙的完全泛型编程
机译:与多种自身抗体血糖异常和1型糖尿病相关的预后分类因素—递归划分分析
机译:递归类型生成