蒂姆·谢尔德
人员信息
优化列表
2010 – 2019
2017 [公元60年] 吴昌峰 , 罗伯特·利伯曼 , 路易斯·德尔坎布雷 , 迈克尔·卢普 , 蒂姆·谢尔德 , 斯科特·布里特尔 , 杰拉尔德·雷克滕瓦尔德 :
CyberPDX:扩大网络安全参与的营地。 ASE@USENIX安全研讨会 2017 2016 [公元59年] 拉里·迪尔 , 蒂姆·谢尔德 :
无限归纳递归类型的通用查找和更新。 泰德@ICFP 2016 : 1-12 2014 [公元58年] 吴海成 , 格雷戈里·迪亚莫斯 , 蒂姆·谢尔德 , Molham Aref公司 , 肖恩·巴克斯特 , 迈克尔·加兰德 , Sudhakar Yalamanchili公司 :
Red Fox:GPU上关系查询处理的执行环境。 CGO公司 2014 : 44 [公元57年] 拉里·迪尔 , 蒂姆·谢尔德 :
描述中的泛型构造函数和消除器:作为独立类型的内部DSL的类型理论。 ICFP的WGP 2014 : 3-14 2013 [公元56年] 拉里·迪尔 , 蒂姆·谢尔德 :
升级依赖类型:在Universe的谓词层次结构上进行泛型编程。 ICFP的DTP 2013 : 49-60 [公元55年] Ki Yung Ahn(基永安) , 蒂姆·谢尔德 , 马塞洛·菲奥雷 , 安德鲁·皮特斯 :
系统F 我 . 薄层色谱分析 2013 : 15-30 [电子2] 马修·米特 , 大卫·范·霍恩 , 安德烈亚斯·阿贝尔 , 蒂姆·谢尔德 :
2013年1月22日,意大利罗马,2013年PLPV,第七届编程语言与程序验证研讨会会议记录。 ACM公司 2013 ,国际标准图书编号 978-1-4503-1860-0 [目录] 2012 [公元54年] 蒂莫西·谢尔德 :
结合约简和搜索的无痛编程:在高级语言中嵌入决策过程的设计原则。 ICFP公司 2012 : 89-102 [公元53年] 加林·金梅尔 , 亚伦·斯塔姆 , 哈雷D.伊德斯III , 彭福 , 蒂姆·谢尔德 , 斯蒂芬妮·威里奇 , 克里斯·卡辛基诺 , 维勒姆·舍伯格(Vilhelm Sjöberg) , 内森·柯林斯 , Ki Yung Ahn(基永安) :
关于具有一般递归和按调用值语义的程序的等式推理。 PLPV公司 2012 : 15-26 [第52条] 维勒姆·舍伯格(Vilhelm Sjöberg) , 克里斯·卡辛基诺 , Ki Yung Ahn(基永安) , 内森·柯林斯 , 哈雷D.伊德斯III , 彭福 , 加林·金梅尔 , 蒂姆·谢尔德 , 亚伦·斯塔姆 , 斯蒂芬妮·威里奇 :
无关、异构相等和按值调用依赖型系统。 MSFP公司 2012 : 112-162 2011 [第51条] Ki Yung Ahn(基永安) , 蒂姆·谢尔德 :
修补器式递归组合子的层次结构:驯服出现负值的归纳数据类型。 ICFP公司 2011 : 234-246 [公元50年] 斯蒂芬妮·威里奇 , 布伦特·A·约基 , 蒂姆·谢尔德 :
活页夹未绑定。 ICFP公司 2011 : 333-345 2010 [公元49年] 蒂姆·谢尔德 , 亚伦·斯塔姆 , 斯蒂芬妮·威里奇 :
基于语言的验证将改变世界。 FoSER公司 2010 : 343-348 [公元48年] 川开林 , 蒂姆·谢尔德 :
逐点广义代数数据类型。 TLDI公司 2010 : 51-62
2000 – 2009
2008 [公元47年] 内森·米什拉·林格 , 蒂姆·谢尔德 :
纯类型系统中的擦除和多态。 FoSSaCS公司 2008 : 350-364 [公元46年] Ki Yung Ahn(基永安) , 蒂姆·谢尔德 :
共享子类型:对递归参数化代数数据类型进行子类型划分。 哈斯克尔 2008 : 75-86 2007 [j12] 彼得·塔克 , 大卫·迈尔 , 蒂姆·谢尔德 , 斯泰芬斯 :
使用标点符号方案表征数据流查询策略。 IEEE传输。 知识。 数据工程。 19 ( 9 ) : 1227-1240 ( 2007 ) [公元45年] 蒂姆·谢尔德 , 内森·林格 :
Omega编程。 CEFP公司 2007 : 158-227 2006 [公元44年] 蒂姆·谢尔德 :
Ωmega通用编程。 SSDGP公司 2006 : 258-284 [公元43年] 蒂姆·谢尔德 :
Omegamega中使用窄化的类型级计算。 IJCAR的PLPV 2006 : 105-128 2005 [公元42年] 蒂姆·谢尔德 :
让咖喱霍华德发挥作用。 哈斯克尔 2005 : 74-85 2004 [公元11年] 蒂姆·谢尔德 , 埃米尔·帕萨利克 :
两级类型和参数化模块。 J.功能。 程序。 14 ( 5 ) : 547-587 ( 2004 ) [公元10年] 蒂姆·谢尔德 :
未来的语言。 ACM SIGPLAN通知 39 ( 12 ) : 119-132 ( 2004 ) [公元41年] 蒂姆·谢尔德 :
未来的语言。 OOPSLA指南 2004 : 116-119 [c40] 内森·林格 , 蒂姆·谢尔德 :
通过类型推断和约束求解对MetaML进行绑定时间分析。 TACAS公司 2004 : 266-279 [公元39年] 蒂姆·谢尔德 , 埃米尔·帕萨利克 :
内置类型相等的元程序设计。 IJCAR的LFM 2004 : 49-65 2003 [公元9年] 彼得·塔克 , 大卫·迈尔 , 蒂姆·谢尔德 :
将标点方案应用于连续数据流上的查询。 IEEE数据工程公告。 26 ( 1 ) : 33-40 ( 2003 ) [j8] 克里斯蒂亚诺·卡尔卡尼奥 , 尤金尼奥·莫吉 , 蒂姆·谢尔德 :
安全命令式MetaML的封闭类型。 J.功能。 程序。 13 ( 三 ) : 545-571 ( 2003 ) [j7] 彼得·塔克 , 大卫·迈尔 , 蒂姆·谢尔德 , 列奥尼达斯·费加拉斯 :
利用连续数据流中的标点语义。 IEEE传输。 知识。 数据工程。 15 ( 三 ) : 555-568 ( 2003 ) 2002 [j6] 蒂姆·谢尔德 , 西蒙·佩顿·琼斯 :
Haskell的模板元编程。 ACM SIGPLAN通知 37 ( 12 ) : 60-75 ( 2002 ) [公元38年] 蒂姆·谢尔德 , 西蒙·佩顿·琼斯 :
Haskell的模板元编程。 哈斯克尔 2002 : 1-16 [公元37年] 埃米尔·帕萨利克 , 瓦利德·塔哈 , 蒂姆·谢尔德 :
打字语言的无标签分段口译员。 ICFP公司 2002 : 218-229 [公元36年] 威廉·哈里森 , 蒂姆·谢尔德 , 詹姆斯·胡克 :
哈斯克尔需求的精细控制。 MPC公司 2002 : 68-93 [公元35年] 蒂姆·谢尔德 , 内森·林格 :
使用类型定向剪枝的基于搜索的绑定时间分析。 亚洲政治公众人物 2002 : 20-31 2001 [公元34年] 蒂姆·谢尔德 :
通过两级类型和参数化模块的通用统一。 ICFP公司 2001 : 86-97 [c33] 蒂姆·谢尔德 :
元编程的成就和研究挑战。 SAIG公司 2001 : 2-44 [公元32年] 威廉·哈里森 , 蒂姆·谢尔德 :
动态适应性软件,采用分段语言进行元计算。 SAIG公司 2001 : 163-182 2000 [j5] 瓦利德·塔哈 , 蒂姆·谢尔德 :
MetaML和带有显式注释的多阶段编程。 理论。 计算。 科学。 248 ( 1-2 ) : 211-242 ( 2000 )
1990 – 1999
1999 [公元31年] 蒂姆·谢尔德 , 宰因·阿比丁·贝奈萨 , 埃米尔·帕萨利克 :
使用分段和单子的DSL实现。 数字用户线 1999 : 81-94 [公元30年] 尤金尼奥·莫吉 , 瓦利德·塔哈 , Zine-El-Abidine Benaissa公司 , 蒂姆·谢尔德 :
理想化的MetaML:更简单,更具表现力。 员工持股计划 1999 : 193-207 1998 [公元29年] 蒂姆·谢尔德 :
使用MetaML:一种分阶段编程语言。 高级函数编程 1998 : 207-239 [公元28年] 瓦利德·塔哈 , Zine-El-Abidine Benaissa公司 , 蒂姆·谢尔德 :
多阶段编程:公理化和类型安全。 ICALP公司 1998 : 918-929 [公元27年] 希尔兹 , 蒂姆·谢尔德 , 西蒙·佩顿·琼斯 :
动态类型作为阶段类型推断。 POPL公司 1998 : 289-302 1997 [公元26年] 瓦利德·塔哈 , 蒂姆·谢尔德 :
多级编程。 ICFP公司 1997 : 321 [c25] 蒂姆·谢尔德 :
多形语言的类型定向在线部分求值器。 政治公众人物 1997 : 22-35 [公元24年] 瓦利德·塔哈 , 蒂姆·谢尔德 :
带有显式注释的多级编程。 政治公众人物 1997 : 203-217 1996 【c23】 理查德·基伯茨 , 劳拉·麦金尼 , 杰弗里·贝尔 , 詹姆斯·胡克 , 亚历克斯·科托夫 , 杰弗里·莱维斯 , 迪诺·奥利瓦 , 蒂姆·谢尔德 , 艾拉·史密斯 , 丽莎·沃尔顿 :
软件构件生成中的软件工程实验。 ICSE公司 1996 : 542-552 [公元22年] 列奥尼达斯·费加拉斯 , 蒂姆·谢尔德 :
使用嵌入式函数(或来自外层空间的程序)重温数据类型上的变形。 POPL公司 1996 : 284-294 [电子1] 约翰·朗奇伯里 , 梅耶尔 , 蒂姆·谢尔德 :
高级函数编程,第二国际学校,奥林匹亚,华盛顿州,美国,1996年8月26日至30日,教程文本。 计算机科学讲义 1129, 施普林格 1996 ,国际标准图书编号 3-540-61628-4 [目录] 1995 【c21】 约翰·朗奇伯里 , 蒂姆·谢尔德 :
温馨融合:从递归定义中导出构建数据。 FPCA公司 1995 : 314-323 [公元20年] 理查德·基伯茨 , 弗朗索瓦斯·贝利加德 , 杰弗里·贝尔 , 詹姆斯·胡克 , 杰弗里·莱维斯 , 迪诺·奥利瓦 , 蒂姆·谢尔德 , 丽莎·沃尔顿 , 通州 :
根据解决方案规范计算软件生成器。 TAPSOFT公司 1995 : 546-560 1994 [第19条] 列奥尼达斯·费加拉斯 , 蒂姆·谢尔德 , 通州 :
改进在多个感应结构上反复出现的程序。 政治公众人物 1994 : 21-32 [第18条] 杰弗里·贝尔 , 弗朗索瓦斯·贝利加德 , 詹姆斯·胡克 , 理查德·基伯茨 , 亚历克斯·科托夫 , 杰弗里·莱维斯 , 劳拉·麦金尼 , 迪诺·奥利瓦 , 蒂姆·谢尔德 , L.Tong先生 , 丽莎·沃尔顿 , 通州 :
软件可靠性和重用设计:概念验证演示。 TRI-阿达 1994 : 396-404 1993 [第17条] 蒂姆·谢尔德 :
通过使用编译时反射提高传统函数式语言的抽象水平。 AMAST公司 1993 : 145-152 [第16条] 列奥尼达斯·费加拉斯 , 大卫·迈尔 , 蒂姆·谢尔德 :
在反射框架中指定基于规则的查询优化器。 DOOD公司 1993 : 146-168 [第15条] 蒂姆·谢尔德 , 列奥尼达斯·费加拉斯 :
四季皆宜。 FPCA公司 1993 : 233-242 1992 【j4】 蒂姆·谢尔德 , 大卫·W·斯坦普 :
Adabtpl语言中的理论继承。 计算。 语言。 17 ( 三 ) : 157-167 ( 1992 ) [第14条] 列奥尼达斯·费加拉斯 , 蒂姆·谢尔德 , 大卫·W·斯坦普 :
统一遍历组合器:定义、使用和属性。 CADE公司 1992 : 148-162 1991 [j3] 蒂姆·谢尔德 :
抽象结构运算符的自动生成和使用。 ACM事务处理。 程序。 语言系统。 13 ( 4 ) : 531-557 ( 1991 ) 1990 [c13] 大卫·W·斯坦普 , 列奥尼达斯·费加拉斯 , 蒂姆·谢尔德 , 阿道夫·索科罗 :
超越数据库编程语言中多态性的限制。 EDBT公司 1990 : 269-285 [第12条] 大卫·W·斯坦普 , 蒂姆·谢尔德 :
数据库编程基元的递归基。 东西方数据库研讨会 1990 : 311-332
1980 – 1989
1989 [注2] 蒂姆·谢尔德 , 大卫·W·斯坦普 :
数据库事务安全性的自动验证。 ACM事务处理。 数据库系统。 14 ( 三 ) : 322-368 ( 1989 ) [第11条] 列奥尼达斯·费加拉斯 , 蒂姆·谢尔德 , 大卫·W·斯坦普 :
ADABTPL型系统。 DBPL公司 1989 : 207-218 1988 [第10条] 蒂姆·谢尔德 , 大卫·W·斯坦普 :
ADABTPL语言中继承和理论继承的精确控制。 ICCL公司 1988 : 194-201 【c9】 大卫·W·斯坦普 , 阿道夫·索科尔 , 蒂姆·谢尔德 :
使用ADABTPL形式化数据库对象。 OODBS公司 1988 : 110-128 [c8] Subhasish Mazumdar公司 , 大卫·W·斯坦普 , 蒂姆·谢尔德 :
使用定理证明程序解决完整性和安全性之间的矛盾。 SIGMOD会议 1988 : 233-242 1987 【c7】 大卫·W·斯坦普尔 , 蒂姆·谢尔德 :
数据库系统的类型构造和计算。 DBPL公司 1987 : 3-22 【c6】 大卫·W·斯坦普 , Subhasish Mazumdar公司 , 蒂姆·谢尔德 :
关于向交易设计者反馈的方式和意义。 SIGMOD会议 1987 : 374-386 1986 [j1] 大卫·W·斯坦普 , 蒂姆·谢尔德 , 拉尔夫·E·邦克 :
将理论纳入数据库系统开发。 信息处理。 管理。 22 ( 4 ) : 317-330 ( 1986 ) 【c5】 大卫·W·斯坦普 , 蒂姆·谢尔德 , 拉尔夫·E·邦克 :
数据库中的抽象数据类型:规范、操作和访问。 集成电路驱动单元 1986 : 590-597 1985 【c4】 大卫·W·斯坦普 , 蒂姆·谢尔德 :
支持基于规范的数据库系统开发的数据库理论。 ICSE公司 1985 : 43-49 【c3】 蒂姆·谢尔德 , 大卫·W·斯坦普 :
应对数据库系统自动推理中的复杂性。 超大规模数据库 1985 : 426-435 1984 【c2】 大卫·W·斯坦普 , 蒂姆·谢尔德 :
抽象数据库类型的规范和验证。 豆荚 1984 : 248-257 1983 【c1】 大卫·W·斯坦普 , 克里蒂·拉马姆里萨姆 , 斯蒂芬·温特 , 蒂姆·谢尔德 :
操作系统支持抽象数据(基本)类型。 ICOD公司 1983 : 179-195