Haskell; Type class; Type-level lambda; Higher-order unification;
机译:实例链:没有重叠实例的类型类编程
机译:具有C ++概念和Haskell类型类的泛型编程-比较
机译:Haskell会话类型(几乎没有)
机译:Haskell中的类型级Lambda的类型类实例
机译:使用高光谱数据以三种空间分辨率对山区地形中植物功能类型级别的植被进行分类。
机译:噬菌体λint蛋白在噬菌体att位点识别两类序列:臂型位点的表征。
机译:在Haskell中键入类型级Lambda的类实例