罗恩·范·凯斯特伦
人员信息
其他同名人员
SPARQL查询
优化列表
2000 – 2009
2009 [j1] 奥哈·什卡拉夫斯卡 , 马可·C·J·D·范·埃克伦 , 罗恩·范·凯斯特伦 :
一阶形状函数的多项式尺寸分析。 日志。 方法计算。 科学。 5 ( 2 ) ( 2009 ) 2007 【c4】 马可·C·J·D·范·埃克伦 , 奥哈·什卡拉夫斯卡 , 罗恩·范·凯斯特伦 , 雅各布施 , 埃里克·波尔 , Sjaak Smetsers公司 :
AHA:摊销堆空间使用分析。 函数式编程趋势 2007 : 36-53 【c3】 奥哈·什卡拉夫斯卡 , 罗恩·范·凯斯特伦 , 马可·C·J·D·范·埃克伦 :
一阶函数的多项式尺寸分析。 薄层色谱分析 2007 : 351-365 [c2] 罗恩·范·凯斯特伦 , 奥哈·什卡拉夫斯卡 , 马可·C·J·D·范·埃克伦 :
通过测试推断静态非单调尺寸器具类型。 WFLP@RDP项目 2007 : 45-63 2004 【c1】 罗恩·范·凯斯特伦 , 马可·C·J·D·范·埃克伦 , 马尔滕·德莫尔 :
泛型类型类的证明支持。 函数式编程趋势 2004 : 1-16