文件大小：0.51 MB 12页
Call-by-Nead和Call-by-Name多态型演算中的上下文等价性（初步报告）
作者
-
部分： 体积： 第一次改写程序转换和评估技术国际研讨会（WPTE 2014）
系列： 信息学开放存取系列（OASIcs） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2014-07-13
文件
文件标识符
引用为 获取BibTex
摘要
关键词
函数式编程 多态性分型 上下文等价 语义学
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
S.Abramsky。 懒惰的lambda演算。 在D·A·特纳（D.A.Turner）编辑的《函数式编程研究主题》（Research Topics In Functional Programming）中，第65-116页。 艾迪森·韦斯利，1990年。 
-
Z.M.Ariola和J.W.Klop。 带有显式递归的Lambda演算。 通知。 和计算。， 139(2):154-233, 1997.
-
J.-Y.Girard、P.Taylor和Y.Lafont。 证据和类型。 CUP，1994年。
-
哈斯克尔社区。 Haskell编程语言，2014年。 http://www.haskell.org。
-
D.豪。 惰性计算系统中的相等性。 在LICS’89中，第198-203页，1989年。
-
D.豪。 证明函数式编程语言中互模拟的一致性。 通知。 和计算。， 124(2):103-112, 1996.
-
J.朗奇伯里。 懒惰评估的自然语义。 在POPL'93中，第144-154页。 ACM，1993年。
-
A.K.D.Moran、D.Sands和M.Carlsson。 不稳定的捏造：一种嵌入式协调语言的语义理论。 科学。 计算。 程序。， 46(1-2):99-135, 2003.
-
S.Peyton Jones。 Haskell 98语言和库：修订报告。 CUP，2003年。
-
B.C.皮尔斯。 类型和编程语言。 麻省理工学院出版社，2002年。
-
A.M.皮特斯。 豪的高阶语言方法。 在《相互模拟和相互还原高级主题》中，《剑桥理论计算机科学丛书》第52卷，第5章，第197-232页。 CUP，2011年11月。 （第5章）。
-
D.Sabel和M.Schmidt-Schau。 根据需要调用lambda演算，局部底部避免选择：上下文引理和转换的正确性。 数学。 结构计算。 科学。， 18(03):501-553, 2008.
-
D.Sabel和M.Schmidt-Schau。 Concurrent Haskell with futures的上下文语义。 2011年7月，美国纽约州纽约市，PPDP'11，第101-112页。 ACM。
-
D.Sabel和M.Schmidt-Schau。 Haskell中的保守并发。 在LICS’12中，第561-570页。 IEEE，2012年。
-
D.Sabel、M.Schmidt-Schau和F.Harwath。 关于上下文等价的推理：从非类型到多态类型的计算。 在INFORMATIK 2009（ATPS’09）中，LNI第154卷，第369页； 2931-45, 2009.
-
M.Schmidt-Schauß。 letrec计算中副本的正确性。 在RTA’08中，LNCS第4533卷，第329-343页。 施普林格，2007年。
-
M.Schmidt-Schauß、E.Machkasova和D.Sabel。 扩展Abramsky的惰性lambda演算：嵌入的（非）保守性。 在RTA’13，LIPIcs第21卷，第239-254页，德国达格斯图尔，2013年。 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）。
-
M.Schmidt-Schau和D.Sabel。 关于具有共享的高阶计算的一般上下文引理。 计算。 科学。， 411（11-13）：1521-1541010年。
-
M.Schmidt-Schauß、D.Sabel和E.Machkasova。 使用letrec对非确定性call-by-need lambda-calculi中的应用模拟和扩展性进行反例。 信息处理。 莱特。， 111(14):711-716, 2011.
-
M.Schmidt-Schauß、D.Sabel和E.Machkasova。 使用letrec、case、构造函数和seq在按需调用lambda-calculus中进行模拟。 Frank报告49，Goethe-Universität Frankfurt，2012年。
-
M.Schmidt-Schauß、M.Schütz和D.Sabel。 诺克严格性分析的安全性。 J.功能。 编程，18（04）：503-5512008。
-
J.Voigtländer和P.Johann。 结构操作语义中的选择性严格性和参数不等式性。 西奥。 计算。 科学，388（1-3）：290-318，2007。
-
D.Vytiniotis和S.Peyton Jones。 系统FC中的证据规范化（受邀谈话）。 在2013年德国Dagstuhl的《RTA’13》LIPIcs第21卷第20-38页中。 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）。