息肉

polypo-一种多类型编程语言扩展。许多函数必须为不同的数据类型反复编写,这可能是因为数据类型在程序开发过程中会发生变化,或者是因为在不同的数据类型上需要具有相似功能的函数。这些函数,这些函数被称为等重写函数,这些函数是统一的。多型函数是通过对用户定义的数据类型的结构进行归纳而定义的函数。本文扩展了一种函数语言(Haskell的一个子集),提出了一种编写多型函数的结构。扩展语言类型检查多型函数的定义,并使用Jones的限定类型和高阶多态性理论的扩展来推断所有其他表达式的类型。扩展语言中程序的语义是通过在字典传递样式的函数中添加类型参数来获得的。。。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH中的参考文献(参考文献31条,1标准件)

显示第1到第20个结果,共31个。
按年份排序(引用)
  1. 李,吉斯克;奥利维拉,布鲁诺。D。S、 。;赵成昆;Yi,Kwangken:GMeta:一阶表示的一般形式元理论框架(2012)
  2. 库尼亚,阿尔基诺;Visser,Joost:将结构化程序转换为XPath查询和战略功能(2011)
  3. 查德威克,布莱恩;Lieberherr,Karl:使用自适应遍历的泛型编程的函数方法(2010)
  4. 飞盘,尼古拉斯;金梅尔,加林;韦弗,菲利普;Alexander,Perry:用代数组合子构造语言处理器(2010)
  5. 约翰,帕特里夏;Ghani,Neil:Haskell中用嵌套类型编程的原则方法(2010)
  6. Abel,Andreas:基于类型的通用程序终止(2009)
  7. 阿娜,波夫;戴比杰,彼得:《工作中的依赖型》(2009)
  8. 辛兹,拉尔夫;öh、 Andres:3D通用编程(2009)
  9. 杰,巴里:模式演算。函数与结构计算(2009)
  10. 莫里斯,彼得;奥尔滕基奇,托尔斯滕;尼尔·加尼:《绝对积极家庭的世界》(2009)
  11. 后台,罗兰;Doornbos,Henk:数据类型通用终止证明(2008)
  12. 布林格特,Bjö注册护士;Ranta,Aarne:几乎复合函数的模式(2006)
  13. 戴比杰,彼得;塞泽尔,安东:索引归纳递归(2006)
  14. 莫里斯,彼得;奥尔滕基奇,托尔斯滕;麦克布莱德,康纳:探索常规树类型(2006)
  15. 亚伯,安德烈亚斯;马特斯,拉尔夫;Uustalu,Tarmo:高阶和嵌套数据类型的迭代和共迭代方案(2005)
  16. 魏里奇,斯蒂芬妮;Huang,Liang:Java中类型导向程序设计(2005)
  17. Hinze,Ralf:大众的仿制药(2004)
  18. 诺瑞尔,乌尔夫;Jansson,Patrik:在模板Haskell中原型化通用编程(2004)
  19. 温特,维克托L。;Subramaniam,Mahadevan:瞬态组合子,高阶策略,和分布式数据问题(2004)
  20. 杨哲:类ML语言中的编码类型(2004)