凯夫
人员信息
其他同名人员
优化列表
2010 – 2019
2018 [j1] 凯夫 , 布里吉特·皮恩特卡 :
用逻辑关系机械化证明——克里普克式。 数学。 结构。 计算。 科学。 28 ( 9 ) : 1606-1638 ( 2018 ) 2016 【c7】 大卫·锡伯杜 , 凯夫 , 布里吉特·皮恩特卡 :
索引的代码数据类型。 ICFP公司 2016 : 351-363 【c6】 罗汉·雅各布·劳 , 凯夫 , 布里吉特·皮恩特卡 :
关于Mendler-style递归的机械化证明。 LFMTP公司 2016 : 1:1-1:9 2015 【c5】 布里吉特·皮恩特卡 , 凯夫 :
归纳白鲸:编程证明。 CADE公司 2015 : 272-281 【c4】 凯夫 , 布里吉特·皮恩特卡 :
使用语境类型的逻辑关系案例研究。 LFMTP公司 2015 : 33-45 2014 【c3】 凯夫 , 费雷拉 , 普拉卡什·帕南加登 , 布里吉特·皮恩特卡 :
公平的反应式编程。 POPL公司 2014 : 361-372 2013 【c2】 凯夫 , 布里吉特·皮恩特卡 :
语境类型理论中的第一类替代。 LFMTP公司 2013 : 15-24 2012 [c1] 凯夫 , 布里吉特·皮恩特卡 :
使用活页夹和索引数据类型进行编程。 POPL公司 2012 : 413-424