疯子托夫特
人员信息
附属: 丹麦哥本哈根IT大学
优化列表
2010 – 2019
2010 [公元9年] 戈登·普洛金 , 科林·斯特林 , Mads Tofte女士 :
讣告:罗宾·米尔纳(1934-2010)。 牛市。 EATCS公司 101 : 12-16 ( 2010 )
2000 – 2009
2009 [j8] 疯子托夫特 :
标准ML语言。 学者媒体 4 ( 2 ) : 7515 ( 2009 ) 2004 [j7] 疯子托夫特 , 拉尔斯·比克达尔 , 马丁·埃尔斯曼 , 尼尔斯·哈伦伯格 :
基于区域的内存管理回顾。 高。 订购符号。 计算。 17 ( 三 ) : 245-265 ( 2004 ) 2002 [第14条] 尼尔斯·哈伦伯格 , 马丁·埃尔斯曼 , 疯子托夫特 :
结合区域推断和垃圾收集。 PLDI公司 2002 : 141-152 2001 [j6] 拉尔斯·比克达尔 , 疯子托夫特 :
一种基于约束的区域推理算法。 西奥。 计算。 科学。 258 ( 1-2个 ) : 299-392 ( 2001 ) 2000 [第13条] 戈登·普洛金 , 科林·斯特林 , 疯子托夫特 :
罗宾·米尔纳的简短科学传记。 证明、语言和互动 2000 : 1-18 [第12条] 疯子托夫特 , 拉尔斯·比克达尔 :
区域推理中的统一性和多态性。 证明、语言和互动 2000 : 389-424 [电子2] 戈登·普洛金 , 科林·斯特林 , 疯子托夫特 :
证据、语言和互动,罗宾·米尔纳荣誉论文。 麻省理工学院出版社 2000 ,国际标准图书编号 978-0-262-16188-6 [目录]
1990年至1999年
1999 [第11条] 疯子托夫特 :
解决COBOL程序中2000年问题的一种类型规则。 MFCS公司 1999 : 442 [第10条] 彼得·哈里·艾多夫 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 , 海宁日产 , 莫滕·海因·瑟伦森 , 疯子托夫特 :
AnnoDomini:从类型理论到2000年转换工具。 POPL公司 1999 : 1-14 【c9】 彼得·哈里·艾多夫 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 , 海宁日产 , 莫滕·海因·瑟伦森 , 疯子托夫特 :
AnnoDomini实践:2000年问题的类型理论方法。 薄层色谱分析 1999 : 6-13 1998 [j5] 疯子托夫特 , 拉尔斯·比克达尔 :
一种区域推理算法。 ACM事务处理。 程序。 语言系统。 20 ( 4 ) : 724-767 ( 1998 ) 【c8】 疯子托夫特 :
区域简介。 ISMM公司 1998 : 186-195 1997 【j4】 疯子托夫特 , Jean-Pierre Talpin女士 :
基于区域的内存管理。 Inf.计算。 132 ( 2 ) : 109-176 ( 1997 ) [电子1] 西蒙·佩顿·琼斯 , 疯子托夫特 , A.迈克尔·伯曼 :
1997年ACM SIGPLAN功能编程国际会议(ICFP’97)会议记录,荷兰阿姆斯特丹,1997年6月9日至11日。 ACM公司 1997 ,国际标准图书编号 0-89791-918-1 [目录] 1996 【c7】 疯子托夫特 :
标准ML模块的要点。 高级函数编程 1996 : 208-238 【c6】 拉尔斯·比克达尔 , 疯子托夫特 , Magnus Vejlstrup公司 :
通过区域表示推理从区域推理到冯·诺依曼机器。 POPL公司 1996 : 171-183 1995 【c5】 疯子托夫特 :
高阶函数语言的区域推理。 SAS公司 1995 : 19-20 1994 [j3] 疯子托夫特 :
高阶程序模块的主要签名。 J.功能。 程序。 4 ( 三 ) : 285-335 ( 1994 ) 【c4】 大卫·B·麦昆 , 疯子托夫特 :
高阶函数的语义。 员工持股计划 1994 : 409-423 【c3】 疯子托夫特 , Jean-Pierre Talpin女士 :
使用区域堆栈实现类型化的按值调用lambda-Calculus。 POPL公司 1994 : 188-201 1992 【c2】 疯子托夫特 :
高阶程序模块的主要签名。 POPL公司 1992 : 189-199 1991 【b3】 罗宾·米尔纳 , 疯子托夫特 :
对标准ML的评论。 麻省理工学院出版社 1991 ,国际标准图书编号 978-0-262-63137-2 ,第1-160页 [注2] 罗宾·米尔纳 , 疯子托夫特 :
关系语义学中的共诱导。 西奥。 计算。 科学。 87 ( 1 ) : 209年至220年 ( 1991 ) 1990 【b2】 罗宾·米尔纳 , 疯子托夫特 , 罗伯·哈波 :
标准ML的定义。 麻省理工学院出版社 1990 ,国际标准图书编号 978-0-262-63132-7 第I-XI页,1-101页 【b1】 疯子托夫特 :
编译器生成器—它们可以做什么、可能做什么以及可能永远不会做什么。 EATCS理论计算机科学专著 19, 施普林格 1990 ,国际标准图书编号 978-3-642-64857-1 第I-XI页,1-147页 [j1] Mads Tofte女士 :
多态引用的类型推断。 Inf.计算。 89 ( 1 ) : 1至34 ( 1990 )
1980 – 1989
1987 【c1】 罗伯·哈波 , 罗宾·米尔纳 , 疯子托夫特 :
程序模块的类型规程。 TAPSOFT,第2卷 1987 : 308-319