101145/263697.26763交流会议文章/章节视图摘要出版物页面波普尔会议议程
文章
免费访问

PYP-A多类型程序设计语言扩展

摘要

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

推荐信

  1. 1。Timothy C. Bell、John G. Cleary和兰。威滕。文本压缩。PrimeTeHiar,1990,谷歌学者谷歌学者
  2. 2。G. Bell,C.B. Jay,E. Moggi。PLILP 96中的函数ML。施普林格出版社,1996。LNCS谷歌学者谷歌学者
  3. 三。C. BShm和A. Berarducci。类型代数的自动合成:学期代数上的A-程序。理论复合科学,39∶135—154,1 1985,谷歌学者谷歌学者
  4. 4。Robert D. Cameron。使用句法信息源模型进行源编码。IEEE信息理论交易,34(4):843-850,1988。谷歌学者谷歌学者数字图书馆数字图书馆
  5. 5。J.F. Contla。Sytt正确校正源程序的紧凑编码。软件实践与经验,15(7):625636, 1985。谷歌学者谷歌学者
  6. 6。L. Damas和R. Milner。主要类型,功能程序的方案。在第82届编程语言原理研讨会上,POPL的第1982页,第207页至第212页,第1982页。谷歌学者谷歌学者
  7. 7。N. Dershowitz。关于简化排序的一个注记《信息处理快报》,9(5):212—215,1979。谷歌学者谷歌学者
  8. 8。J.H. Fasel,P,赫达克,S佩顿琼斯,P. Wadler。SIGPLAN注意到功能性编程语言H.凯尔的特殊问题。CM SIGPLAN通知,27(5),1992。谷歌学者谷歌学者
  9. 9。P. Freyd。递归类型简化为归纳类型。在计算机科学中的程序逻辑中,LICS 90,第49—507页,1990。谷歌学者谷歌学者
  10. 10。Robert Harper和Greg Morrisett。使用内涵类型分析编译多态性。在《编程语言原理》第2版中,POPL 95,第130—141页,1995页。谷歌学者谷歌学者
  11. 11。P. Jansson。多类型和多类型的统一。硕士论文,查尔默斯技术大学和葛斯堡大学,1995。谷歌学者谷歌学者
  12. 12。P. Jansson和J. Jeuring。多类型统一——用构造函数类实现多类型函数。在准备中,参见http://www,CS。查默斯SE/JONANJ,1996。谷歌学者谷歌学者
  13. 13。C. Barry Jay。多项式多态性。在第十八届澳大利西亚计算机科学会议论文中,第23页至第243页,第1995页。谷歌学者谷歌学者
  14. 14。C. Barry Jay,形状的语义。计算机程序设计,25:251-83,1995。谷歌学者谷歌学者
  15. 15。J. Jeuring。多模式匹配。在FPCA 95的会议记录中,8IGPLANG-SigARH-WG2.8功能编程语言和计算机体系结构会议,第238页至第248, 1995页。谷歌学者谷歌学者
  16. 16。J. Jeuring和P. Jansson。多类型程序设计。在J.LaunkBuri,E. Meijer和T. Sheard,编辑,第二届国际暑期学校高级功能编程技术,第68-1页。施普林格出版社,1996。LNCS 1129。谷歌学者谷歌学者
  17. 17。Mark P. Jones。在部分评估和基于语义的程序操作的CM SIGPLAN研讨会,奥兰多,佛罗里达州,1994年6月,部分免费评估字典超载。谷歌学者谷歌学者
  18. 18。Mark P. Jones。合格类型:理论和!实践剑桥大学出版社,1994。谷歌学者谷歌学者
  19. 19。Mark P. Jones。具有超载和高阶P01YMLISM的函数规划。J.Jeayy和E. Meijer,编辑,ADVAND函数编程,LNCS 925,第97至136页。施普林格-维拉格,1995。谷歌学者谷歌学者
  20. 20。Mark P. Jones。一个构造器关闭系统:重载和隐式高阶多态性。功能程序设计杂志,第1-35页,1995页。谷歌学者谷歌学者
  21. 21。J.W. Klop。术语重写系统。《计算机科学逻辑手册》第1-116页。牛津大学出版社,1992。γ谷歌学者谷歌学者
  22. 22。D.E. Knuth和P·B·本迪克斯。泛代数中的简单词问题。J.Leeh,编辑,抽象代数中的计算问题,第263-29页。佩加蒙出版社,1970。谷歌学者谷歌学者
  23. 23。K.J. Lieberherr、I. Silva Lepe和C. Xiao。自适应面向对象编程——使用基于图形的定制。Am的通信,第94-101页,1994。谷歌学者谷歌学者
  24. 24。G. Malcolm。数据结构和程序转换。计算机编程科学,14:255-269,1990。谷歌学者谷歌学者
  25. 25。A. MarteUi、C. Moiso和C.F. Rossi。等式理论中的统一算法。在过程中逻辑程序设计专题讨论会,180186页,1986。谷歌学者谷歌学者
  26. 26。L. Meertens。仿随机性计算的形式方面,4(5):413-425,1992。谷歌学者谷歌学者
  27. 27。E. Meijer、M. Fokkinga和R. Paterson。用B,MaNas,透镜,EI(γ)-Geules和有刺的线。在J,休斯,编辑,第五届会议上的会议。程序设计语言和计算机体系结构,FPCA’91,第124-144页,1991页。谷歌学者谷歌学者
  28. 28。梅杰和G. Hutton。空间中的香蕉“延伸折叠和展开到指数型”。在FPCA 95、SIGPLAG- SIGARCH-WG 8会议记录中,功能性编程语言和计算机体系结构会议8页,第324—333页,第1995页。谷歌学者谷歌学者
  29. 29。帕尔斯伯格、C. Xiao和K. Lieberherr。自适应软件的高效实现。蟾蜍,1995。谷歌学者谷歌学者
  30. 30。T. Sheard和':N:罗伊·尼尔森类型的安全抽象使用程序Grast0R.未出版的手稿,1995。第七章谷歌学者谷歌学者
  31. 31。Tim Sheard。抽象结构运算符的自动生成和使用。通用语言编程和系统交易,13(4):531 - 557, 1991…谷歌学者谷歌学者
  32. 32。J. Ziv和A,Lempel。一种通用的顺序数据算法,IEEE信息论,23(3):33-34,1977。谷歌学者谷歌学者

索引项

  1. PYP-A多类型程序设计语言扩展

                评论

                登录选项

                检查您是否可以通过您的登录凭据或您的机构访问全文。

                登录

                完全访问

                • 文章度量

                  • 一百五十二
                    总被引频次
                    视图引用
                  • 十六
                    总下载量
                  • 下载(最近12个月)十六
                  • 下载(最近6周)

                  其他度量

                PDF格式

                查看或下载作为PDF文件。

                PDF

                埃雷德

                在线查看与eRead。

                埃雷德
                关于这个网站上的Cookie

                我们使用Cookie来确保我们在我们的网站上给你最好的体验。

                了解更多

                知道了!

                为了帮助我们的社区在CVID-19期间远程工作,我们将通过ACM在我们的数字图书馆发布的所有工作在2020年6月30日免费访问。了解更多