交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
G.法拉利。莫吉,E。和普格利泽,R。2001全球类型和网络服务.理论计算机科学电子笔记,第54卷,问题,第页。35
尼克·本顿休斯,约翰和尤金尼奥·莫吉2002应用语义学.第2395卷,问题,第页。42
瓦利德·塔哈和迈克尔·弗洛伦丁·尼尔森2003环境分类器.第页。26
瓦利德·塔哈和迈克尔·弗洛伦丁·尼尔森2003环境分类器.ACM SIGPLAN通知,第38卷,发布。1,第页。26
马修·弗莱特和格雷格·莫里塞特2004一元区域.第页。103
Shan、Chung-chieh2004动作中的性感类型.ACM SIGPLAN通知,第39卷,发布。5,第页。15
马修·弗莱特和格雷格·莫里塞特2004一元区域.ACM SIGPLAN通知,第39卷,发布。9,第页。103
彼得·蒂曼2006Haskell中的用户级事务编程.第页。84
尼克·本顿安德鲁·肯尼迪马丁·霍夫曼和伦纳特·贝林格2006程序设计语言与系统.第4279卷,问题,第页。114
谢尔盖·冈查洛夫卢茨·施罗德和蒂尔·莫萨科夫斯基20062006年计算机科学数学基础.第4162卷,问题,第页。447
尼克·本顿安德鲁·肯尼迪伦纳特·贝林格和马丁·霍夫曼2007动态分配的基于效果的程序转换的关系语义.第页。87
奥列格·基塞利约夫和Shan、Chung-chieh2007轻型静态功能.理论计算机科学电子笔记,第174卷,发布。7,第页。79
奥列格·基塞利约夫和Shan、Chung-chieh2007建模和使用上下文.第4635卷,问题,第页。291
奥列格·基塞利约夫和Shan、Chung-chieh2008轻量级单子区域.第页。1
大雄县Terauchi和亚历克斯·艾肯2008目睹副作用.美国计算机学会编程语言与系统汇刊,第30卷,发布。三,第页。1
约翰·朗利2008逻辑与算法理论.第5028卷,问题,第页。389.
阿穆尔·萨布里2009威利计算机科学与工程百科全书.第页。2534
奥列格·基塞利约夫和Shan、Chung-chieh2009轻量级单元区域.ACM SIGPLAN通知,第44卷,发布。2,第页。1
罗伯特·艾奇2009类型化Lambda演算及其应用.第5608卷,问题,第页。35
谢尔盖·贡查罗夫卢茨·施罗德和蒂尔·莫萨科夫斯基2009计算机科学中的代数与代数.第5728卷,问题,第页。18