拉斐尔·乔利
人员信息
优化列表
2020年–今天
2020 【c4】 拉斐尔·乔利 :
Scala代数系统进展报告。 中国科学院 2020 : 307-315
2010 – 2019
2017 [i4] 拉斐尔·乔利 :
单数远程调用。 CoRR公司 腹肌/1708.03882 ( 2017 ) 2013 【c3】 拉斐尔·乔利 :
在Scala代数系统中作为类型类的类别。 中国科学院 2013 : 209-218 [i3] 拉斐尔·乔利 :
将流与未来并行。 CoRR公司 abs/1305.4367 ( 2013 ) 2011 【c2】 海因茨·克雷德尔 , 拉斐尔·乔利 :
作为类型对象的代数结构。 中国科学院 2011 : 294-308 2010 【c1】 海因茨·克雷德尔 , 拉斐尔·乔利 :
通用、类型安全和面向对象的计算机代数软件。 中国科学院 2010 : 162-177
2000 – 2009
2009 [i2] 拉斐尔·乔利 , 海因茨·克雷德尔 :
Java符号脚本编程。 CoRR公司 abs/0906.2315 ( 2009 ) 2008 [i1] 拉斐尔·乔利 , 海因茨·克雷德尔 :
如何将脚本语言转换为计算机代数的特定领域语言。 CoRR公司 abs/0811.1061 ( 2008 )