引用人
Zhang Y、Salvaneschi G、Beightol Q、Liskov B和Myers A (2016). 接受安全隧道例外的指责, ACM SIGPLAN通知 , 51 :6 , (281-295), 在线发布日期:2016年8月1日 . Preoteasa V和Tripakis S在非确定性和非输入-接收系统中的合成反馈——第31届ACM/IEEE计算机科学逻辑年会论文集,(768-777) Zhang Y、Salvaneschi G、Beightol Q、Liskov B和Myers A为安全隧道例外承担责任第37届ACM SIGPLAN编程语言设计与实现会议论文集,(281-295) Barreto F和Julia S基于工作流网络和状态图的视频游戏建模与分析第24届计算机科学和软件工程国际年会论文集,(106-119) Lindley S和McBride C (2013). 哈索克主义, ACM SIGPLAN通知 , 48 :12 , (81-92), 在线发布日期:2014年1月31日 . Zhang D和Myers A (2014). 对于静态错误的一般诊断, ACM SIGPLAN通知 , 49 :1 , (569-581), 在线发布日期:2014年1月13日 . Zhang D和Myers:静态错误的一般诊断第41届ACM SIGPLAN-SIGACT程序设计语言原理研讨会论文集,(569-581) Lindley S和McBride C Hasochism 2013年ACM SIGPLAN Haskell研讨会论文集,(81-92) Findler R和Felleisen M (2013). ICFP 2002, ACM SIGPLAN通知 , 48 :4S , (34-45), 在线发布日期:2013年7月9日 . Xing C、Zhang W和Li J (2013). 关于燕尾型计数法, 高等学校计算机科学杂志 , 28 :5 , (24-33), 在线发布日期:2013年5月1日 . Solodkyy Y、Dos Reis G和Stroustrup B (2012). 用于C++的开放式高效开关, ACM SIGPLAN通知 , 47 :10 , (963-982), 在线发布日期:2012年11月15日 . Solodkyy Y、Dos Reis G和Stroustrup B用于C++的开放式高效开关ACM面向对象编程系统语言和应用国际会议论文集,(963-982) Höjsgaard E和Hallwyl T Core BPEL第27届ACM应用计算年度研讨会论文集(1984年至1991年) Antoy S和Hanus M (2010). 功能逻辑编程, ACM通信 , 53 :4 , (74-85), 在线发布日期:2010年4月1日 . Toledo R、Leger P和TanteréAspectScript第九届面向方面软件开发国际会议论文集,(13-24) Italiano G和Raman R数据结构主题算法和计算理论手册(5-5) Matthews D和Wenzel M Poly/ML和Isabelle/ML中的高效并行编程第五届ACM SIGPLAN研讨会关于多核编程的声明性方面的论文集,(53-62) Strickland T和Felleisen M (2009). 一流模块合同, ACM SIGPLAN通知 , 44 :12 , (27-38), 在线发布日期:2009年12月25日 . Strickland T和Felleisen M一级模块合同第五届动态语言研讨会论文集,(27-38) Cook W关于理解数据抽象,重温了第24届ACM SIGPLAN面向对象编程系统语言和应用会议的会议记录,(557-572) Bloom B、Field J、Nystrom N、Ùstlund J、Richards G、Strniša R、Vitek J和Wrigstad T Thorn第24届ACM SIGPLAN面向对象编程系统语言和应用会议论文集,(117-136) 厨师W (2009). 在理解数据抽象的基础上, ACM SIGPLAN通知 , 44 :10 , (557-572), 在线发布日期:2009年10月25日 . Bloom B、Field J、Nystrom N、Östlund J、Richards G、Strniša R、Vitek J和Wrigstad T (2009). 索恩, ACM SIGPLAN通知 , 44 :10 , (117-136), 在线发布日期:2009年10月25日 . Eastlund C和Felleisen M在模块化ACL2中进行归纳,第11届ACM SIGPLAN会议记录,关于声明式编程的原则和实践,(105-116) Qi X和Myers A (2009). 声音对象初始化的屏蔽类型, ACM SIGPLAN通知 , 44 :1 , (53-65), 在线发布日期:2009年1月21日 . Qi X和Myers声音对象初始化的屏蔽类型第36届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(53-65) Corin R、Deniélou P、Fournet C、Bhargavan K和Leifer J (2008). 会话抽象的安全编译器, 计算机安全杂志 , 16 :5 , (573-636), 在线发布日期:2008年11月1日 . Maranget L编译模式匹配良好决策树2008年ACM SIGPLAN ML研讨会论文集,(35-46) Siek J和Vachharajani M基于统一推理的渐进式打字2008年动态语言研讨会论文集,(1-12) 兴C (2008). 通过ML编程加强函数的学习和教学, 高等学校计算机科学杂志 , 23 :4 , (97-104), 在线发布日期:2008年4月1日 . Guha A、Matthews J、Findler R和Krishnamurthi S关系参数多态合同2007年动态语言研讨会论文集,(29-40) Zalewski M和Schupp S C++概念作为机构2007年图书馆中心软件设计研讨会论文集,(76-87) Sewell P、Nardelli F、Owens S、Peskine G、Ridge T、Sarkar S和Strnia R Ott第十二届ACM SIGPLAN功能编程国际会议论文集,(1-12) Sewell P、Nardelli F、Owens S、Peskine G、Ridge T、Sarkar S和Strnia R (2007). 奥特, ACM SIGPLAN通知 , 42 :9 , (1-12), 在线发布日期:2007年10月1日 . Gregor D、Järvi J、Siek J、Stroustrup B、Dos Reis G和Lumsdaine A概念第21届ACM SIGPLAN面向对象编程系统、语言和应用年会论文集,(291-310) Ayav T、Fradet P和Girault A通过自动程序转换在实时系统中实现容错第六届ACM&IEEE嵌入式软件国际会议论文集,(205-214) Gregor D、Järvi J、Siek J、Stroustrup B、Dos Reis G和Lumsdaine A (2006). 概念, ACM SIGPLAN通知 , 41 :10 , (291-310), 在线发布日期:2006年10月16日 . Deniélou P和Leifer J分布式语言中的抽象保存和分型第十一届ACM SIGPLAN函数式编程国际会议论文集,(286-297) Deniélou P和Leifer J (2006). 分布式语言中的抽象保存和子类型, ACM SIGPLAN通知 , 41 :9 , (286-297), 在线发布日期:2006年9月16日 . Arbiser A、Miquel A和Ríos A lambda-calculus with constructors第17届术语改写和应用国际会议论文集,(181-196) Siek J和Taha W c++模板的语义分析第20届欧洲面向对象编程会议论文集,(304-327) Westergaard M和Lassen K BRITNeY套装动画工具第27届Petri网和其他并发模型应用和理论国际会议论文集,(431-440) Järvi J、Gregor D、Willcock J、Lumsdaine A和Siek J算法在泛型编程中的专门化第27届ACM SIGPLAN编程语言设计与实现会议论文集,(272-282) Järvi J、Gregor D、Willcock J、Lumsdaine A和Siek J (2019). 泛型编程中的算法专门化, ACM SIGPLAN通知 , 41 :6 , (272-282), 在线发布日期:2006年6月11日 . Liu J、Kimball A和Myers A (2006). 可中断迭代器, ACM SIGPLAN通知 , 41 :1 , (283-294), 在线发布日期:2006年1月12日 . Liu J,Kimball A和Myers A可中断迭代器第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,(283-294) 阿尔梅德罗斯-吉梅内斯J和贝塞拉-特隆A (2006). 数据库查询语言和函数逻辑编程, 新一代计算 , 24 :2 , (129-184), 在线发布日期:2006年1月1日 . 阿布拉姆斯基S (2005). 可逆计算的结构方法, 理论计算机科学 , 347 :3 , (441-464), 在线发布日期:2005年12月1日 . Tschantz M和Ernst M Javari第20届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集,(211-230) Järvi J、Willcock J和Lumsdaine A主流面向对象泛型的相关类型和约束传播ACM SIGPLAN第20届面向对象编程、系统、语言和应用年会论文集,(1-19) Tschantz M和Ernst M (2019). 爪哇, ACM SIGPLAN通知 , 40 :10 , (211-230), 在线发布日期:2005年10月12日 . Järvi J、Willcock J和Lumsdaine A (2019). 主流面向对象泛型的关联类型和约束传播, ACM SIGPLAN通知 , 40 :10 , (1-19), 在线发布日期:2005年10月12日 . Siek J和Lumsdaine通用编程的基本语言支持2005年ACM SIGPLAN编程语言设计和实现会议论文集,(73-84) Siek J和Lumsdaine A (2005). 通用编程的基本语言支持, ACM SIGPLAN通知 , 40 :6 , (73-84), 在线发布日期:2005年6月12日 . Bry F、Ries F和Spranger S CaTTS第14届万维网国际会议论文集,(702-711) Jeffrey A和Rathke J Java JR第14届欧洲编程语言和系统会议记录,(423-438) Xing C和Belkhouche B对象类型图中的动点问题及其解决方法第43届东南地区年会论文集第2卷,(315-320) Glauert J,Kesner D和Khasidashvili Z表达减少系统和扩展过程,术语和周期,(496-553) Nystrom N、Chong S和Myers通过嵌套继承实现可扩展性第19届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集,(99-115) Birka A和Ernst M实用类型系统和参考语言不变性第19届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集,(35-49) von Dincklage D和Diwan A转换Java类以使用泛型ACM SIGPLAN第19届面向对象编程、系统、语言和应用会议论文集,(1-14) Nystrom N、Chong S和Myers A (2004). 通过嵌套继承实现可扩展性, ACM SIGPLAN通知 , 39 :10 , (99-115), 在线发布日期:2004年10月1日 . Birka A和Ernst M (2004). 一种实用的引用不变性类型系统和语言, ACM SIGPLAN通知 , 39 :10 , (35-49), 在线发布日期:2004年10月1日 . von Dincklage D和Diwan A (2004). 将Java类转换为使用泛型, ACM SIGPLAN通知 , 39 :10 , (1-14), 在线发布日期:2004年10月1日 . 克里斯滕森L和克里斯滕森S (2019). 使用函数编程语言实现彩色Petri网, 高阶和符号计算 , 17 :3 , (207-243), 在线发布日期:2004年9月1日 . Zatarain R和Stansifer R CPS口译模式第42届东南地区年会论文集,(326-331) Tarditi D、Morrisett G、Cheng P、Stone C、Harper R和Lee P (2004). TIL、, ACM SIGPLAN通知 , 39 :4 , (554-567), 在线发布日期:2004年4月1日 . 卡特赖特R和法根M (2004). 软输入, ACM SIGPLAN通知 , 39 :4 , (412-428), 在线发布日期:2004年4月1日 . Fähndrich M和Leino K (2003). 在面向对象语言中声明和检查非空类型, ACM SIGPLAN通知 , 38 :11 , (302-312), 在线发布日期:2003年11月26日 . 科尔文J、培根D、格罗夫D和穆尔西C (2003). 乔丹, ACM SIGPLAN通知 , 38 :11 , (241-254), 在线发布日期:2003年11月26日 . Fähndrich M和Leino K在面向对象语言中声明和检查非空类型第18届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集,(302-312) Corwin J、Bacon D、Grove D和Murthy C MJ关于面向对象编程、系统、语言和应用的第18届ACM SIGPLAN年会论文集,(241-254) Leifer J、Peskine G、Sewell P和Wansbrough K (2003). 具有哈希类型的全局抽象安全编组, ACM SIGPLAN通知 , 38 :9 , (87-98), 在线发布日期:2003年9月25日 . 使用类型方程进行Choppella V多态类型重建第十五届函数语言实现国际会议论文集,(53-68) 2003年ACM SIGPLAN Erlang研讨会《Erlang会议记录》中的Carlsson R参数化模块,(29-35) Leifer J、Peskine G、Sewell P和Wansbrough K哈希类型的全局抽象安全编组第八届ACM SIGPLAN函数编程国际会议论文集,(87-98) Gava F和Loulergue F批量同步并行虚拟机ML第一届国际计算科学会议论文集:第一部分,(155-164) Moreau P、Ringeissen C和Vittek M多目标语言模式匹配编译器第十二届编译器构造国际会议论文集,(61-76) Berger M、Honda K和Yoshida N Genericity以及第六届软件科学和计算结构基础国际会议和欧洲软件理论与实践联合会议的π演算会议记录,(103-119) Dreyer D、Crary K和Harper R (2019). 高阶模的类型系统, ACM SIGPLAN通知 , 38 :1 , (236-249), 在线发布日期:2003年1月15日 . Dreyer D、Crary K和Harper R高阶模块的A型系统第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(236-249) Sammet J和Mahoney M软件历史计算机科学百科全书(1613-1620) Connor R抽象数据类型计算机科学百科全书,(1-5) Fernández M、Kadiyska Y、Suciu D、Morishima A和Tan W (2002). 丝路, ACM数据库系统事务 , 27 :4 , (438-493), 在线发布日期:2002年12月1日 . Glynn K、Stuckey P、Sulzmann M和Söndergaard H非限定语言的例外分析第七届ACM SIGPLAN函数式编程国际会议论文集,(98-109) Findler R和Felleisen M高阶函数合同第七届ACM SIGPLAN函数编程国际会议论文集,(48-59) Glynn K、Stuckey P、Sulzmann M和Söndergaard H (2002). 非限定语言的例外分析, ACM SIGPLAN通知 , 37 :9 , (98-109), 在线发布日期:2002年9月17日 . Findler R和Felleisen M (2002). 高阶函数合同, ACM SIGPLAN通知 , 37 :9 , (48-59), 在线发布日期:2002年9月17日 . Whittle J、Bundy A和Boulton R (2018). 作为基于类比的ML编辑器设计框架的校对程序, 计算的形式方面 , 13 :3-5 , (403-421), 在线发布日期:2002年7月1日 . Jim T、Morrisett J、Grossman D、Hicks M、Cheney J和Wang Y Cyclone USENIX年度技术会议总记录,(275-288) 尼尔森H和尼尔森F流逻辑计算的本质,(223-244) Biagioni E、Harper R和Lee P (2019). 标准ML中的网络协议栈, 高阶和符号计算 , 14 :4 , (309-356), 在线发布日期:2001年12月1日 . Jackson D、Shlyakhter I和Sridharan M A微模块机制第八届欧洲软件工程会议论文集,与第九届ACM SIGSOFT国际软件工程基础研讨会联合召开,(62-73) Jackson D、Shlyakhter I和Sridharan M (2001). 微模数机制, ACM SIGSOFT软件工程说明 , 26 :5 , (62-73), 在线发布日期:2001年9月1日 . Marlow S、Jones S、Moran A和Reppy J《2001年ACM SIGPLAN编程语言设计和实现会议Haskell会议记录》中的异步异常,(274-285) Edwards S、Lavagno L、Lee E和Sangiovanni-Vincentelli嵌入式系统设计硬件/软件协同设计阅读,(86-107) Alexander D、Arbaugh W、Keromytis A和Smith J主动网络安全互联网编程,(433-451) Palsberg J基于类型的分析和应用2001年ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会论文集,(20-27) Marlow S、Jones S、Moran A和Reppy J (2001). Haskell中的异步异常, ACM SIGPLAN通知 , 36 :5 , (274-285), 在线发布日期:2001年5月1日 . Alon N、Milo T、Neven F、Suciu D和Vianu V XML及其数据值第二十届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集,(138-149) Sewell P公司 (2001). 模块、抽象类型和分布式版本控制, ACM SIGPLAN通知 , 36 :3 , (236-247), 在线发布日期:2001年3月1日 . Sewell P模块、抽象类型和分布式版本控制第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(236-247) Jeffrey A和Rathke J并行ML与局部名称片段的互模拟理论第15届IEEE计算机科学逻辑研讨会论文集 Mortensen K基于有色Petri网模型的自动代码生成方法在访问控制系统中的应用第21届Petri网应用与理论国际会议论文集,(367-386) 用于分布式数据结构的Liblit B和Aiken A型系统第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集(199-213) Lewis J、Launchbury J、Meijer E和Shields M隐式参数第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(108-118) Su Z、Fähndrich M和Aiken A投影合并第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(81-95) Liu X、Kreitz C、van Renesse R、Hickey J、Hayden M、Birman K和Constable R (1999). 利用组件构建可靠、高性能的通信系统, ACM SIGOPS操作系统评审 , 33 :5 , (80-92), 在线发布日期:1999年12月12日 . Liu X、Kreitz C、van Renesse R、Hickey J、Hayden M、Birman K和Constable R从组件构建可靠、高性能的通信系统第十七届ACM操作系统原理研讨会论文集,(80-92) Naraschewski W和Nipkow T (2019). 已验证类型推断, 自动推理杂志 , 23 :3 , (299-318), 在线发布日期:1999年11月1日 . 克拉克·D和麦卡伦·J (1999). Maple模块, ACM SIGSAM公告 , 33 :3 , (24-25), 网上发布日期:1999年9月1日 . 邵Z (1999). 具有完全同步签名的透明模块, ACM SIGPLAN通知 , 34 :9 , (220-232), 网上发布日期:1999年9月1日 . Ohori A和Yoshida N (1999). 用于ML的类型定向编译的具有秩1多态性的类型推断, ACM SIGPLAN通知 , 34 :9 , (160-171), 网上发布日期:1999年9月1日 . Shao Z具有完全同步签名的透明模块第四届ACM SIGPLAN功能编程国际会议论文集,(220-232) Ohori A和Yoshida N类型推断与秩1多态性用于ML的类型定向编译第四届ACM SIGPLAN国际函数编程会议论文集,(160-171) Blume M和Appel A (1999). 分层模块化, 美国计算机学会程序设计语言与系统汇刊(TOPLAS) , 21 :4 , (813-847), 网上发布日期:1999年7月1日 . Blume M公司 (1999). 标准ML的依赖性分析, 美国计算机学会程序设计语言与系统汇刊(TOPLAS) , 21 :4 , (790-812), 在线出版日期:1999年7月1日 . 西村S和Ohori A (2019). 通过数据并行递归对递归定义的数据进行并行函数编程, 函数编程杂志 , 9 :4 , (427-462), 网上发布日期:1999年7月1日 . Lillibridge M公司 (2019). 未检查的异常可能比Call/CC更强大, 高阶和符号计算 , 12 :1 , (75-104), 在线出版日期:1999年4月1日 . Penix J和Alexander P (1999). 高效的基于规范的组件检索, 自动化软件工程 , 6 :2 , (139-170), 在线出版日期:1999年4月1日 . Huelsbergen L和Winterbottom P (2019). 非常并发的标记和清除垃圾收集,没有细粒度同步, ACM SIGPLAN通知 , 34 :3 , (166-175), 在线发布日期:1999年3月1日 . 达根D (1999). 多态语言中分布式编程的动态类型, 美国计算机学会程序设计语言与系统汇刊(TOPLAS) , 21 :1 , (11-45), 在线发布日期:1999年1月1日 . Xi H和Pfenning F实际编程中的依赖类型第26届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(214-227) Kfoury A和Wells J公理和有限秩交集类型的可判定类型推理第26届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(161-174) 奥古斯森L (2019). Cayenne——一种具有依赖类型的语言, ACM SIGPLAN通知 , 34 :1 , (239-250), 在线发布日期:1999年1月1日 . 诺德兰德J (1998). 多态语言中的语用亚型, ACM SIGPLAN通知 , 34 :1 , (216-227), 在线发布日期:1999年1月1日 . 邵Z (2019). 类型化跨模块编译, ACM SIGPLAN通知 , 34 :1 , (141-152), 在线发布日期:1999年1月1日 . Findler R和Flat M (2019). 模块化面向对象编程,带有单元和混合, ACM SIGPLAN通知 , 34 :1 , (94-104), 在线出版日期:1999年1月1日 . Wadler P公司 (2019). 效果与单子的结合, ACM SIGPLAN通知 , 34 :1 , (63-74), 在线发布日期:1999年1月1日 . Kieburtz R公司 (2019). 单数输入的缓和效果, ACM SIGPLAN通知 , 34 :1 , (51-62), 在线发布日期:1999年1月1日 . Visser E、Benaissa Z和Tolmach A (2019). 使用重写策略构建程序优化器, ACM SIGPLAN通知 , 34 :1 , (13-26), 在线发布日期:1999年1月1日 . 斯塔克一世 (2019). 名称、方程式、关系:推理新事物的实用方法, 计算机基础理论 , 33 :4 , (369-396), 在线发布日期:1998年12月1日 . 雪铁龙D、费特森D和鲁道夫L (1998). 通过在乘法和除法单元中实现记忆来加速多媒体处理, ACM SIGOPS操作系统评审 , 32 :5 , (252-261), 在线发布日期:1998年12月1日 . 帕尔斯伯格J (1998). 基于均衡的流分析与递归类型, 美国计算机学会程序设计语言与系统汇刊(TOPLAS) , 20 :6 , (1251-1264), 在线发布日期:1998年11月1日 . Krishnamurthi S和Felleisen M (2019). 关于可扩展软件的形式化理论, ACM SIGSOFT软件工程说明 , 23 :6 , (88-98), 在线发布日期:1998年11月1日 . Citron D、Feitelson D和Rudolph L (1998). 通过在乘法和除法单元中实现记忆来加速多媒体处理, ACM SIGPLAN通知 , 33 :11 , (252-261), 在线发布日期:1998年11月1日 . Krishnamurthi S和Felleisen M走向可扩展软件的形式化理论第六届ACM SIGSOFT国际软件工程基础研讨会论文集,(88-98) Citron D、Feitelson D和Rudolph L通过在乘法和除法单元中实现记忆加速多媒体处理第八届编程语言和操作系统体系结构支持国际会议论文集,(252-261) Leavens G和Millstein T (2019). 作为Tuples上的调度进行多次调度, ACM SIGPLAN通知 , 33 :10 , (374-387), 在线发布日期:1998年10月1日 . Leavens G和Millstein T在第13届ACM SIGPLAN面向对象编程、系统、语言和应用会议的Tuples会议论文集上发布了多重调度,(374-387) Huelsbergen L和Winterbottom P无细粒度同步的非常并发标记和扫描垃圾收集第一届内存管理国际研讨会论文集,(166-175) 莫罗L (2019). 动态绑定的句法理论, 高阶和符号计算 , 11 :3 , (233-279), 在线发布日期:1998年10月1日 . Augusson L Cayenne—一种具有依赖类型的语言第三届ACM SIGPLAN函数式编程国际会议论文集,(239-250) Nordlander J多态语言中的语用分型第三届ACM SIGPLAN函数式编程国际会议论文集,(216-227) Shao Z打字跨模块汇编第三届ACM SIGPLAN功能编程国际会议论文集,(141-152) Findler R和Flatt M模块化面向对象编程与单元和混合程序第三届ACM SIGPLAN功能编程国际会议论文集,(94-104) Wadler P效果与单子的结合第三届ACM SIGPLAN函数式编程国际会议论文集,(63-74) Kieburtz R Taming effects with monadic typeing第三届ACM SIGPLAN函数编程国际会议论文集,(51-62) Visser E、Benaissa Z和Tolmach A使用重写策略构建程序优化器第三届ACM SIGPLAN功能编程国际会议论文集,(13-26) Tofte M和Birkedal L (1998). 一种区域推理算法, 美国计算机学会程序设计语言与系统汇刊(TOPLAS) , 20 :4 , (724-767), 在线发布日期:1998年7月1日 . Flatt M和Felleisen M (1998). 单位, ACM SIGPLAN通知 , 33 :5 , (236-248), 在线发布日期:1998年5月1日 . Cheng P、Harper R和Lee P (1998). 代际叠加采集和剖面驱动预护理, ACM SIGPLAN通知 , 33 :5 , (162-173), 在线发布日期:1998年5月1日 . Fähndrich M、Foster J、Su Z和Aiken A (1998). 包含约束图中的部分在线循环消除, ACM SIGPLAN通知 , 33 :5 , (85-96), 在线发布日期:1998年5月1日 . Flatt M和Felleisen M Units 1998年ACM SIGPLAN编程语言设计和实现会议记录(236-248) Cheng P、Harper R和Lee P代际堆栈收集和轮廓驱动预护理1998年ACM SIGPLAN编程语言设计和实现会议记录,(162-173) Fähndrich M、Foster J、Su Z和Aiken A包含约束图中的部分在线循环消除ACM SIGPLAN 1998年编程语言设计与实现会议论文集,(85-96) Peyton Jones S、Shields M、Launchbury J和Tolmach A桥接海湾第25届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(49-61) Wright A和Jagannathan S (1998). 多晶分裂, 美国计算机学会程序设计语言与系统汇刊(TOPLAS) , 20 :1 , (166-207), 在线发布日期:1998年1月1日 . 福特B、巴克·G、本森·G、莱普劳·J、林·A和希弗斯·O (1997). Flux OSKit, ACM SIGOPS操作系统评审 , 31 :5 , (38-51), 在线出版日期:1997年12月1日 . Ford B、Back G、Benson G、Lepreau J、Lin A和Shivers O The Flux OSKit第十六届ACM操作系统原理研讨会论文集,(38-51) Alexander D、Shaw M、Nettles S和Smith J (2019). 主动桥接, ACM SIGCOMM计算机通信审查 , 27 :4 , (101-111), 在线出版日期:1997年10月1日 . Alexander D、Shaw M、Nettles S和Smith J 1997年ACM SIGCOMM计算机通信应用、技术、架构和协议会议的主动桥接会议记录,(101-111) 麦克亚当B (2019). ML中的大类型(海报), ACM SIGPLAN通知 , 32 :8 , (316), 网上发布日期:1997年8月1日 . Launchbury J和Sabry A (1997). 单一国家, ACM SIGPLAN通知 , 32 :8 , (227-238), 网上发布日期:1997年8月1日 . 邵Z (2019). 灵活的表示分析, ACM SIGPLAN通知 , 32 :8 , (85-98), 网上发布日期:1997年8月1日 . 埃尔维格M (2019). 用图形进行函数编程, ACM SIGPLAN通知 , 32 :8 , (52-65), 网上发布日期:1997年8月1日 . McAdam B BigTypes in ML(海报)第二届ACM SIGPLAN函数式编程国际会议论文集 Launchbury J和Sabry A Monadic州第二届ACM SIGPLAN功能编程国际会议记录(227-238) Shao Z灵活表示分析第二届ACM SIGPLAN函数编程国际会议论文集,(85-98) Erwig M带图形的函数编程第二届ACM SIGPLAN函数编程国际会议论文集,(52-65) Steensgaard-Madsen J A作文解释器生成器面向对象技术研讨会论文集,(369-373) Heintze N和McAllester D (1997). 线性时间次传递控制流分析, ACM SIGPLAN通知 , 32 :5 , (261-272), 网上发布日期:1997年5月1日 . Heintze N和McAllester D线性时间次传递控制流分析1997年ACM SIGPLAN编程语言设计与实现会议论文集,(261-272) Dean D静态打字与动态链接的安全第四届ACM计算机与通信安全会议论文集,(18-27) Jones M第一类多态性与类型推理第24届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(483-496) Rehof J原子子类型化中的最小类型化第24届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(278-291) Cardelli L程序片段、链接和模块化第24届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(266-277) Ong C和Stewart C A Curry Howard函数计算与控制基金会第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集,(215-227) Bank J、Myers A和Liskov B第24届ACM SIGPLAN-SIGACT编程语言原理研讨会Java会议记录的参数化类型,(132-145) Necula G校对代码第24届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(106-119) 哈珀·R和李·P (1996). 针对可组合性、安全性和性能的编程语言研究, ACM计算调查(CSUR) , 28 :4秒 ,(195-es), 在线发布日期:1996年12月1日 . 汤姆森B (1996). 编程语言、分析工具和并发理论, ACM计算调查(CSUR) , 28 :4秒 ,(57-es), 在线发布日期:1996年12月1日 . Battiston E、De Cindio F和Mauri G (1996). 指定并发系统的模块化代数网, IEEE软件工程汇刊 , 22 :10 , (689-705), 在线出版日期:1996年10月1日 . Yi K、Ryu S和Pyun K从基于类型的方程估计标准ML程序中的未知数异常——第20届计算机软件和应用会议论文集 Huelsbergen L走向机器语言迭代的模拟进化第一届遗传编程年会论文集,(315-320) Lee S和Friedman D (1996). 用上下文丰富lambda演算, ACM SIGPLAN通知 , 31 :6 , (239-250), 网上发布日期:1996年6月15日 . 冈崎C (2019). 惰性评估在摊销数据结构中的作用, ACM SIGPLAN通知 , 31 :6 , (62-72), 网上发布日期:1996年6月15日 . Lee S和Friedman D用上下文丰富lambda演算 Okasaki C惰性评估在摊销数据结构中的作用第一届ACM SIGPLAN函数编程国际会议论文集,(62-72) 尼尔森F和尼尔森H (2018). 终端类型的操作语义, 北欧计算机杂志 , 三 :2 , (144-187), 网上发布日期:1996年6月1日 . 利布金·L、马奇林·R和王·L (2019). 多维数组的查询语言, ACM SIGMOD记录 , 25 :2 , (228-239), 网上发布日期:1996年6月1日 . Libkin L,Machlin R和Wong L多维数组的查询语言1996年ACM SIGMOD数据管理国际会议论文集,(228-239) Jagannathan S和Wright A (2019). 流定向内联, ACM SIGPLAN通知 , 31 :5 , (193-205), 网上发布日期:1996年5月1日 . Tarditi D、Morrisett G、Cheng P、Stone C、Harper R和Lee P (2019). TIL、, ACM SIGPLAN通知 , 31 :5 , (181-192), 网上发布日期:1996年5月1日 . Bruggeman C、Waddell O和Dybvig R (2019). 在出现一次性延续时代表控制, ACM SIGPLAN通知 , 31 :5 , (99-107), 网上发布日期:1996年5月1日 . Flanagan C、Flatt M、Krishnamurthi S、Weirich S和Felleisen M (2019). 捕捉程序不变量网络中的错误, ACM SIGPLAN通知 , 31 :5 , (23-32), 在线出版日期:1996年5月1日 . Jagannathan S和Wright A流定向内联ACM SIGPLAN 1996年编程语言设计和实现会议记录(193-205) Tarditi D、Morrisett G、Cheng P、Stone C、Harper R和Lee P TIL 1996年ACM SIGPLAN编程语言设计和实现会议记录,(181-192) Bruggeman C、Waddell O和Dybvig R在一次连续出现时表示控制ACM SIGPLAN 1996年编程语言设计和实现会议论文集,(99-107) Flanagan C、Flatt M、Krishnamurthi S、Weirich S和Felleisen M在程序不变量网络中捕获错误1996年ACM SIGPLAN编程语言设计与实现会议论文集,(23-32) Buneman P和Ohori A (1996). 数据库编程中的多态性和类型推理, ACM数据库系统事务 , 21 :1 , (30-76), 网上发布日期:1996年3月1日 . 本田K作曲过程第23届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(344-357) Gustafsson J、Post K、Mäki-Turja J和Brorsson E (1996). 面向对象实时语言的类型推理的优点, ACM SIGPLAN OOPS信使 , 7 :1 , (28-35), 网上发布日期:1996年1月1日 . Eifrig J、Smith S和Trifonov V (2019). 对象的健全多态类型推断, ACM SIGPLAN通知 , 30 :10 , (169-184), 在线发布日期:1995年10月17日 . Eifrig J、Smith S和Trifonov V Sound Sound对象多态类型推断第十届面向对象编程系统、语言和应用年会论文集,(169-184) Gunter C、Rémy D和Riecke J类ML语言中异常和控制的概述第七届函数式编程语言和计算机体系结构国际会议论文集,(12-23) Aagaard M和Leeser M (1995). 验证逻辑综合算法和实现, IEEE软件工程汇刊 , 21 :10 , (822-833), 在线发布日期:1995年10月1日 . Wong L公司 (2019). 雷米的快速多态记录投影简介, ACM SIGMOD记录 , 24 :3 , (34-39), 在线发布日期:1995年9月1日 . Luckham D和Vera J (1995). 基于事件的体系结构定义语言, IEEE软件工程汇刊 , 21 :9 , (717-734), 在线发布日期:1995年9月1日 . 布鲁尔E (1995). 通过自动化统计建模实现高级优化, ACM SIGPLAN通知 , 30 :8 , (80-91), 在线发布日期:1995年8月1日 . Brewer E通过自动统计建模实现高级优化第五届ACM SIGPLAN并行编程原理与实践研讨会论文集,(80-91) 汤普森S (1995). 米兰达的逻辑,重新审视, 计算的形式方面 , 7 :4 , (412-429), 网上发布日期:1995年7月1日 . Läufer K C++中高阶函数的框架USENIX面向对象技术会议论文集 Colby C分析并发程序的通信拓扑1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会论文集,(202-213) Aiken A、Fähndrich M和Levien R《更好的静态内存管理——1995年ACM SIGPLAN编程语言设计与实现会议论文集》,(174-185) Shao Z和Appel A标准ML的基于类型的编译器ACM SIGPLAN 1995年编程语言设计和实现会议论文集,(116-129) Aiken A、Fähndrich M和Levien R (2019). 更好的静态内存管理, ACM SIGPLAN通知 , 30 :6 , (174-185), 网上发布日期:1995年6月1日 . Shao Z和Appel A (2019). 标准ML的基于类型的编译器, ACM SIGPLAN通知 , 30 :6 , (116-129), 网上发布日期:1995年6月1日 . Libkin L规范化不完整数据库第十四届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集,(219-230) Bryant B、Chang D、Muthukrishnan P和Vaidyanathan V使用元组空间实现面向对象编程语言的自动并行化1995年ACM第23届计算机科学年会论文集,(89-96) Jagannathan S和Weeks S高阶语言中流分析的统一处理第22届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(393-407) Liang S,Hudak P和Jones M Monad转换器和模块化解释器第22届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集,(333-343) Cardelli L分布式范围语言第22届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集(286-297) Harper R和Morrisett G使用内涵类型分析编译多态性第22届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(130-141) Brookes S和Dancanet D序列算法、确定性并行和内涵表达第22届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(13-24) 商会C和Leavens G (2019). 类型检查和用于多种方法的模块, ACM SIGPLAN通知 , 29 :10 , (1-15), 网上发布日期:1994年10月1日 . Chambers C和Leavens G多方法类型检查和模块第九届面向对象编程系统、语言和应用年会论文集,(1-15) Barja M、Paton N、Fernandes A、Williams M和Dinn A通过语言集成实现有效的演绎面向对象数据库第20届超大数据库国际会议论文集,(463-474) Jenks R和Trager B如何将AXIOM变成草稿纸符号和代数计算国际研讨会论文集,(32-40) Katiyar D、Luckham D和Mitchell J (1994). 界面的多态性和子类型, ACM SIGPLAN通知 , 29 :8 , (22-34), 网上发布日期:1994年8月1日 . Katiyar D、Luckham D和Mitchell J接口定义语言研讨会论文集中的多态性和子类型,(22-34) Suciu D和Tannen V高级数据并行算法的高效编译第六届ACM并行算法和架构年度研讨会论文集,(57-66) 重新控制垃圾收集程序的M缓存性能1994年ACM SIGPLAN编程语言设计与实现会议论文集,(206-217) Appel A和MacQueen D 1994年ACM SIGPLAN编程语言设计和实现会议标准ML会议记录的单独汇编,(13-23) 海因策N (2019). 基于集合的ML程序分析, ACM SIGPLAN Lisp指针 , 七、 :3 , (306-317), 网上发布日期:1994年7月1日 . 院长J和钱伯斯C (2019). 使用内联试验实现更好的内联决策, ACM SIGPLAN Lisp指针 , 七、 :3 , (273-282), 网上发布日期:1994年7月1日 . Dzeng H和Haynes C (2019). 可变完整性程序的类型重建, ACM SIGPLAN Lisp指针 , 七、 :3 , (239-249), 网上发布日期:1994年7月1日 . Shao Z、Reppy J和Appel A (2019). 展开列表, ACM SIGPLAN Lisp指针 , 七、 :3 , (185-195), 在线出版日期:1994年7月1日 . Shao Z和Appel A (2019). 节省空间的闭合表示, ACM SIGPLAN Lisp指针 , 七、 :3 , (150-161), 在线出版日期:1994年7月1日 . 基于Heintze N集的ML程序分析1994年ACM LISP和函数编程会议论文集,(306-317) Dean J和Chambers C使用内联测试实现更好的内联决策1994年ACM LISP和函数编程会议论文集,(273-282) Dzeng H和Haynes C型变整体程序重建1994年ACM LISP和函数编程会议论文集,(239-249) Shao Z、Reppy J和Appel A《1994年ACM LISP和函数编程会议论文集》(185-195) Shao Z和Appel A高效空间闭包表示1994年ACM LISP和函数编程会议论文集,(150-161) Reinhold M公司 (2019). 垃圾收集程序的缓存性能, ACM SIGPLAN通知 , 29 :6 , (206-217), 网上发布日期:1994年6月1日 . Appel A和MacQueen D (2019). 标准ML的单独编译, ACM SIGPLAN通知 , 29 :6 , (13-23), 网上发布日期:1994年6月1日 . Buneman P、Libkin L、Suciu D、Tannen V和Wong L (1994). 理解语法, ACM SIGMOD记录 , 23 :1 , (87-96), 网上发布日期:1994年3月1日 . Tofte M和Talpin J使用区域堆栈实现类型化的call-by-valueλ演算第21届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(188-201) Katiyar D、Luckham D和Mitchell J原型语言的类型系统第21届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(138-150) Harper R和Lillibridge M高阶模块的一种类型理论方法,分享第21届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(123-137) Leroy X清单类型、模块和单独编译第21届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(109-122) Diwan A、Tarditi D和Moss E使用复制垃圾收集的程序的内存子系统性能第21届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(1-14) Nielson H和Nielson F有限通信拓扑高阶并发程序(扩展摘要)第21届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(84-97) Zaremski A和Wing J签名匹配第一届ACM SIGSOFT软件工程基础研讨会会议记录(182-190) Zaremski A和Wing J (2019). 签名匹配, ACM SIGSOFT软件工程说明 , 18 :5 , (182-190), 在线发布日期:1993年12月1日 . Dehbonei B和Mejia F (2019). 验证B正式开发过程的证据, ACM SIGPLAN通知 , 28 :11 , (16-21), 在线发布日期:1993年11月1日 . Bracha G和Griswold D (2019). 强势对话, ACM SIGPLAN通知 , 28 :10 , (215-230), 网上发布日期:1993年10月1日 . Bracha G和Griswold D Strongtalk第八届面向对象编程系统、语言和应用年会论文集,(215-230) Mellish C和Reiter E使用分类作为编程语言第13届人工智能国际联合会议论文集-第1卷(696-701) Morrisett J和Tolmach A Procs and locks第四届ACM SIGPLAN并行编程原理与实践研讨会论文集(198-207) Huelsbergen L和Larus J区分(im)可变数据的语言的并发复制垃圾收集器第四届ACM SIGPLAN并行编程原理和实践研讨会论文集,(73-82) Sitaram D处理控制ACM SIGPLAN 1993年编程语言设计和实现会议记录(147-155) Mogensen T构造函数专业化1993年ACM SIGPLAN部分评估和基于语义的程序操作研讨会论文集,(22-32) Libkin L和Wong L面向or-sets的语义表示和查询语言第十二届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集,(37-48) 莫里西特J和托尔马赫A (2019). 进程和锁, ACM SIGPLAN通知 , 28 :7 , (198-207), 网上发布日期:1993年7月1日 . Huelsbergen L和Larus J (2019). 一种用于区分(im)可变数据的语言的并发复制垃圾收集器, ACM SIGPLAN通知 , 28 :7 , (73-82), 网上发布日期:1993年7月1日 . Hammarlund P和Lisper B关于函数和数据并行编程语言之间的关系函数编程语言和计算机体系结构会议论文集,(210-219) Riecke J界定影响范围函数编程语言和计算机体系结构会议记录,(146-155) Gordon A懒惰函数语言中I/O的操作语义函数编程语言和计算机体系结构会议论文集,(136-145) 函数式编程语言和计算机体系结构会议记录(83-91) Aditya S和Caro面向编译器的多态语言类型重构函数式编程语言和计算机体系结构会议论文集,(74-82) R页和Moe B在函数式语言中进行大型科学应用的经验函数式编程语言和计算机体系结构会议论文集,(3-11) Sitaram D公司 (2019). 搬运控制, ACM SIGPLAN通知 , 28 :6 , (147-155), 网上发布日期:1993年6月1日 . Lindsey C ALGOL 68历史第二届ACM SIGPLAN编程语言历史会议,(97-132) Lee S和Friedman D第20届ACM SIGPLAN-SIGACT编程语言原理研讨会准静态范围界定会议记录(479-492) Nipkow T和Prehofer C类型检查类型类第20届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(409-418) Harper R和Lillibridge M显式多态性和CPS转换第20届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(206-219) Klarlund N和Schwartzbach M图形类型第20届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(196-205) Abadi M、Cardelli L和Curien P形式参数多态性第20届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(157-170) Lawall J和Danvy O连续通过风格转换中的分离阶段第20届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(124-136) 多态语言中通信原语的Ohori A和Kato K语义第20届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(99-112) 林赛C (2019). ALGOL 68的历史, ACM SIGPLAN通知 , 28 :3 , (97-132), 在线发布日期:1993年3月1日 . 卡兹米尔扎克E (2018). 在扩展ML中模块化小型数据库系统的规范, 计算的形式方面 , 4 :1 , (100-142), 在线发布日期:1992年11月1日 . Siegel E将高级语言范例应用于分布式系统ACM SIGOPS第五次研讨会论文集欧洲研讨会:分布式系统结构的模型和范例,(1-7) Jörgensen J通过部分求值为惰性语言生成编译器第19届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(258-268) Tofte M高阶程序模块的主要签名第19届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集(189-199) Leroy X Unboxed objects and polymorphic typeing第19届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(177-188) Berry D、Milner R和Turner D ML并发原语的语义第19届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(119-129) Wadler P函数编程的本质第19届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(1-14) Jagannathan S和Philbin J高效多线程方案系统的基础1992年ACM LISP和函数编程会议论文集,(345-357) Huelsbergen L和Larus J动态程序并行化1992年ACM LISP和函数编程会议记录,(311-323) Henglein F通过类型推理进行全局标记优化1992年ACM LISP和函数编程会议记录,(205-215) Chirimar J,Gunter C和Riecke J证明基于线性逻辑的语言的内存管理不变量1992年ACM会议关于LISP和函数编程的论文集,(139-150) Goldberg B和Gloger M无标签垃圾收集的多态型重建1992年ACM LISP和函数编程会议论文集,(53-65) Cooper E、Nettles S和Subramanian I使用特定于应用程序的虚拟内存管理改进SML垃圾收集性能1992年ACM LISP和函数编程会议论文集,(43-52) Maranget L编译惰性模式匹配1992年ACM LISP和函数编程会议记录(21-31) Jagannathan S和Philbin J (2019). 高效多线程方案系统的基础, ACM SIGPLAN Lisp指针 , V(V) :1 , (345-357), 网上发布日期:1992年1月1日 . Huelsbergen L和Larus J (1992). 动态程序并行化, ACM SIGPLAN Lisp指针 , V(V) :1 , (311-323), 网上发布日期:1992年1月1日 . 亨利恩F (2019). 通过类型推理进行全局标记优化, ACM SIGPLAN Lisp指针 , V(V) :1 , (205-215), 网上发布日期:1992年1月1日 . Chirimar J、Gunter C和Riecke J (1992). 证明基于线性逻辑的语言的内存管理不变量, ACM SIGPLAN Lisp指针 , V(V) :1 , (139-150), 网上发布日期:1992年1月1日 . Goldberg B和Gloger M (1992). 无标签垃圾收集的多态类型重建, ACM SIGPLAN Lisp指针 , V(V) :1 , (53-65), 网上发布日期:1992年1月1日 . Cooper E、Nettles S和Subramanian I (1992). 使用特定于应用程序的虚拟内存管理提高SML垃圾收集的性能, ACM SIGPLAN Lisp指针 , V(V) :1 , (43-52), 在线出版日期:1992年1月1日 . 马兰杰·L (1992). 编译惰性模式匹配, ACM SIGPLAN Lisp指针 , V(V) :1 , (21-31), 网上发布日期:1992年1月1日 . 托尔马赫A和阿佩尔A (2019). 标准ML的可调试并发扩展, ACM SIGPLAN通知 , 26 :12 , (120-131), 在线发布日期:1991年12月1日 . Tolmach A和Appel A标准ML可调试并发扩展1991年ACM/ONR并行和分布式调试研讨会论文集(120-131) C室和Ungar D室 (2019). 使纯面向对象语言变得实用, ACM SIGPLAN通知 , 26 :11 , (1-15), 在线发布日期:1991年11月1日 . Chambers C和Ungar D使纯面向对象语言实用化面向对象编程系统、语言和应用会议记录,(1-15) Goedicke M、Schumann H和Cramer J关于软件组件规范第六届软件规范与设计国际研讨会论文集,(166-174) Reppy J系列 (2019). CML、, ACM SIGPLAN通知 , 26 :6 , (293-305), 网上发布日期:1991年6月1日 . 卡特赖特R和法根M (2019). 软输入, ACM SIGPLAN通知 , 26 :6 , (278-292), 网上发布日期:1991年6月1日 . Freeman T和Pfenning F (1991). ML的细化类型, ACM SIGPLAN通知 , 26 :6 , (268-277), 网上发布日期:1991年6月1日 . 戈德堡B (2019). 强类型编程语言的无标记垃圾收集, ACM SIGPLAN通知 , 26 :6 , (165-176), 网上发布日期:1991年6月1日 . Reppy J CML《1991年ACM SIGPLAN编程语言设计与实现会议论文集》(293-305) Cartwright R和Fagan M 1991年ACM SIGPLAN编程语言设计和实现会议的软类型会议记录,(278-292) Freeman T和Pfenning F ML精炼类型ACM SIGPLAN 1991年编程语言设计和实现会议论文集,(268-277) Goldberg B强类型编程语言的无标记垃圾收集ACM SIGPLAN 1991年编程语言设计与实现会议论文集,(165-176) Mitchell J、Meldal S和Madhav N标准ML模块与子类型和继承的扩展第18届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,(270-278) Duba B、Harper R和MacQueen D在第18届ACM SIGPLAN-SIGACT编程语言原则研讨会的ML会议记录中键入一流的延续,(163-173) C室和Ungar D室 (2019). 迭代类型分析和扩展消息拆分; 优化动态类型的面向对象程序, ACM SIGPLAN通知 , 25 :6 , (150-164), 网上发布日期:1990年6月1日 . Chambers C和Ungar D迭代类型分析和扩展消息分裂; 优化动态类型的面向对象程序ACM SIGPLAN 1990年编程语言设计和实现会议论文集,(150-164) Sitaram D和Felleisen M Reasoning with continuations II:控制模型的完全抽象1990年ACM LISP和函数编程会议论文集,(161-175) Wadler P理解单子函数1990年ACM LISP和函数编程会议记录,(61-78) 软管F (1990). 作为闭包的泛型实例化, ACM SIGAda Ada字母 , X(X) :1 , (122-130), 在线发布日期:1990年1月1日 . Ohori A、Buneman P和Breazu-Tannen V马基雅维利数据库编程——一种具有静态类型推理的多态语言——1989年ACM SIGMOD国际数据管理会议论文集,(46-57) Ohori A、Buneman P和Breazu-Tannen V (1989). 马基雅维利(Machiavelli)数据库编程——一种带有静态类型推断的多态语言, ACM SIGMOD记录 , 18 :2 , (46-57), 在线发布日期:1989年6月1日 . Wadler P和Blott S如何使特殊多态性更少,第16届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集,(60-76)
建议
差分ML分类器:基于机器学习的差分密码分析通用扩展 密码学进展——LATINCRYPT 2021 摘要 差分攻击是分组密码的基本密码分析技术。 机器学习的应用为差分密码分析提供了良好的结果。 在本文中,我们提出了一种新的技术来扩展经典。。。 改进的差分-ML区分器:基于机器学习的差分分析泛型扩展 信息和通信安全 摘要 在CRYPTO 2019上,Gohr首先提出了一种基于深度学习的差异化分析方法,该分析方法基于圆简Speck32/64。 然后是雅达夫 提出了一种通过结合传统方法构造差异ML(机器学习)分类器的框架。。。