息肉

息肉——一种多类型的程序设计语言扩展。对于不同的数据类型,由于数据类型在程序开发过程中发生变化,或者因为在不同的数据类型上需要具有类似功能的函数,所以许多函数必须一次又一次地被写入。这些功能的例子是漂亮的打印机、调试器、相等函数、UNIFIER、模式匹配器、重写函数等。多类型函数是由用户定义的数据类型结构的归纳定义的函数。本文扩展了一个函数语言(Haskell的子集)和一个构造多类型函数的结构。扩展语言类型检查多类型函数的定义,并使用琼斯的合格类型和高阶多态性理论的扩展来推断所有其他表达式的类型。扩展语言中的程序语义是通过将类型参数添加到字典传递样式中的函数而获得的。

这个软件也是同行评审通过期刊toms.


ZBMaX中的参考文献(31篇)1标准条款

显示结果1至20的31。
按年份排序(引文
  1. 李,Gyesik;奥利维拉,布鲁诺C.D.S.Co,SungKunun;Yi,Kwangkeun:GMETA:一阶形式化元理论框架一阶表示(2012)
  2. 库尼亚,Alcino;VISSER,JooST:结构害羞程序的转换及其在XPath查询和战略功能中的应用(2011)
  3. 查德威克,布莱恩;Lieberherr,卡尔:使用自适应遍历的泛型编程的功能方法(2010)
  4. Frisby,尼古拉斯;Kimele,Garrin;Weaver,菲利普;亚力山大,Perry:用代数组合器构造语言处理器(2010)
  5. Johann,帕特丽夏;Ghani,尼尔:Haskell(2010)中嵌套类型编程的一种原则方法
  6. 阿贝尔,安德烈亚斯:基于类型的通用程序终止(2009)
  7. 博韦,阿纳河;Dybjer,彼得:工作中的依赖类型(2009)
  8. HyZe,Ralf;L OH,安德烈斯:3D中的泛型编程(2009)
  9. 杰伊,巴里:模式演算。函数与结构计算(2009)
  10. Morris,彼得;AltnkrCH,ToStand;Ghani,尼尔:严格正家族的一个宇宙(2009)
  11. 后台程序,罗兰;Doornbos,亨克:数据类型通用终止证明(2008)
  12. Bringert,BJ·On;Ranta,Aarne:一个几乎合成函数的模式(2006)
  13. Dybjer,彼得;塞泽尔,Anton:索引归纳递归(2006)
  14. Morris,彼得;阿尔滕基尔奇,托斯滕;迈克布莱德,康纳:探索常规树类型(2006)
  15. 阿贝尔,安德烈亚斯;Matthes,拉尔夫;UuSTULU,TARMO:高阶和嵌套数据类型的迭代和合并方案(2005)
  16. 韦里奇,斯蒂芬妮;黄,梁:Java中面向类型编程的设计(2005)
  17. HyZe,Ralf:大众的仿制药(2004)
  18. 乌尔夫,詹森,帕特里克:模板Haskell(2004)中的泛型编程原型
  19. Victor L.,SurabaMiaAM,MaaDava:瞬时组合器、高阶策略和分布式数据问题(2004)
  20. 杨,ZH: ML类语言中的编码类型(2004)