约瑟夫·范德瓦特
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2000 – 2009
2005 【c7】 约瑟夫·范德瓦特 , 卡尔·克莱里 :
自动化并经认证符合响应策略。 TLDI公司 2005 : 79-90 2003 【c6】 约瑟夫·范德瓦特 , 德里克·德雷尔 , 叶彼得森 , 卡尔·克莱里 , 罗伯·哈波 , 程伊兵 :
递归数据类型的类型化编译。 TLDI公司 2003 : 98-108 【c5】 约瑟夫·范德瓦特 , 卡尔·克莱里 :
垃圾收集的类型化接口。 TLDI公司 2003 : 109-122 2002 [j1] 乔纳森·穆迪 , 里卡多·贝泽拉·德·安德拉德·席尔瓦 , 约瑟夫·范德瓦特 , 约瑟夫·拉姆齐 , 克拉克·格雷摩尔 :
光谱分类和过滤:矿物学案例研究。 智力。 数据分析。 6 ( 6 ) : 517-530 ( 2002 ) 【c4】 卡尔·克莱里 , 约瑟夫·范德瓦特 :
一种用于认证代码的表达性、可伸缩的类型理论。 ICFP公司 2002 : 191-205 【c3】 约瑟夫·范德瓦特 , 卡尔·克莱里 :
线性LF元理论的简化说明。 线性调频 2002 : 11-28 2001 【c2】 乔纳森·穆迪 , 里卡多·贝泽拉·德·安德拉德·席尔瓦 , 约瑟夫·范德瓦特 :
用于从反射光谱中自动分类岩石的数据过滤。 KDD公司 2001 : 347-352
1990 – 1999
1999 【c1】 金·布鲁斯 , 约瑟夫·范德瓦特 :
语义驱动的语言设计:面向对象语言中的静态类型安全虚拟类型。 MFPS公司 1999 : 50-75
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)