zbMATH中的参考文献(参考文献17条)

显示第1到17个结果,共17个。
按年份排序(引用)

  1. Schmidt Schauß,曼弗雷德;Sabel,David:原子和上下文变量的名义统一(2018)
  2. Schmidt Schauß,曼弗雷德;Sabel,David:按需调用和按名称调用多态型结石的上下文等效性(初步报告)(2014)
  3. Schmidt Schauß,曼弗雷德;萨贝尔,大卫;Machkasova,Elena:letrec非确定性呼叫lambda calculi中应用模拟和可扩展性的反例(2011)
  4. 曼恩,马提亚斯;Schmidt Schauß,Manfred:相似性意味着一类非确定性调用中的等价性lambda calculi(2010)
  5. Schmidt Schauß,曼弗雷德;Sabel,David:关于高阶计算的一般上下文引理(2010)
  6. Schmidt Schauß,曼弗雷德;Sabel,David:may-,should-and must收敛于上下文等价的闭包(2010)
  7. 施密特·施劳斯;曼弗雷德;萨贝尔,大卫;Schütz,Marko:在无限非严格数据结构上决定集合常数的包含(2007)
  8. 阿赫腾,彼得;范伊克伦,马尔科;Plasmeijer,Rinus:通用图形用户界面(2004)
  9. 阿赫腾,彼得;范伊克伦,马尔科;原生质体;van Weelden,Arjen:高阶数据结构编辑器的自动生成(2004)
  10. 加里西奥,埃里克;Serrano,Manuel:用Scheme编程图形用户界面(2003)
  11. 莫兰,安德鲁;桑兹,大卫;Carlsson,Magnus:《不稳定的谎言:嵌入式协调语言的语义理论》(2003)
  12. 阿赫腾,彼得;Jones,Simon Peyton:将clean对象I/O库移植到Haskell(2001)
  13. 伯内特,玛格丽特;阿特伍德,约翰;姜,丽贝卡·沃尔波尔;雷奇温,詹姆斯;戈特弗里德,赫尔基默;Yang,Sherry:Forms/3:探索电子表格范式边界的一阶视觉语言(2001)
  14. 佩特森,罗斯:一种新的箭头符号(2001)
  15. Sage,Meurig:FranTk——Haskell的声明性GUI语言(2000)ioport公司
  16. Simon Thompson:Alf中的构造性区间时间逻辑(2000)
  17. Rittri,M.:通过统一类型模线性同构检索库函数(1993)