息肉

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

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


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

显示第1到第20个结果,共31个。
按年份排序(引文)
  1. Lee,Gyesik;Oliveira,Bruno C.D.S.;Cho,Sungkeun;Yi,Kwangkeun:GMeta:一阶表示的通用形式元理论框架(2012)
  2. Cunha,Alcino;Visser,Joost:面向XPath查询和战略功能的结构化程序转换(2011)
  3. Chadwick,Bryan;Lieberherr,Karl:使用自适应遍历的泛型编程的函数方法(2010)
  4. Nicolas Frisby;Kimmell,Garrin;Weaver,Philip;Alexander,Perry:用代数组合子构造语言处理器(2010)
  5. Johann,Patricia;Ghani,Neil:Haskell中用嵌套类型编程的原则方法(2010)
  6. Abel,Andreas:基于类型的通用程序终止(2009)
  7. 安娜·博维;戴比杰,彼得:《工作中的依赖型》(2009)
  8. Hinze,Ralf;Löh,Andres:3D通用编程(2009)
  9. 杰,巴里:模式演算。函数与结构计算(2009)
  10. 莫里斯,彼得;阿尔滕基奇,托尔斯滕;加尼,尼尔:《严格积极家庭的宇宙》(2009)
  11. Backhouse,Roland;Doornbos,Henk:数据类型通用终止证明(2008)
  12. Bringert,Björn;Ranta,Aarne:几乎合成函数的模式(2006)
  13. Dybjer,Peter;Setzer,Anton:索引归纳递归(2006)
  14. Morris,Peter;Altenkirch,Thorsten;McBride,Conor:探索常规树型(2006)
  15. Abel,Andreas;Matthes,Ralph;Uustalu,Tarmo:高阶和嵌套数据类型的迭代和循环方案(2005)
  16. Stephanie,Weirich;Huang,Liang:Java中类型导向编程的设计(2005)
  17. 普通药物(2004)
  18. Norell,Ulf;Jansson,Patrik:模板Haskell中的泛型编程原型(2004)
  19. Winter,Victor L.;Subramaniam,Mahadevan:瞬态组合子、高阶策略和分布式数据问题(2004)
  20. 杨哲:类ML语言中的编码类型(2004)