克里斯蒂安·莫辛
人员信息
优化列表
2000 – 2009
2003 [注2] 克里斯蒂安·莫辛 :
精确流量分析。 数学。 结构。 计算。 科学。 13 ( 1 ) : 125-156 ( 2003 )
1990 – 1999
1999 【c8】 彼得·哈里·艾多夫 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 , 海宁日产 , 莫滕·海因·瑟伦森 , 疯子托夫特 :
AnnoDomini:从类型理论到2000年转换工具。 POPL公司 1999 : 1-14 【c7】 彼得·哈里·艾多夫 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 , 海宁日产 , Morten Heine Sørensen公司 , Mads Tofte女士 :
实践中的AnnoDomini:2000年问题的一种类型理论方法。 薄层色谱分析 1999 : 6-13 1998 [j1] 克里斯蒂安·莫辛 :
高阶价值流图。 Nord.J.计算。 5 ( 三 ) : 214-234 ( 1998 ) 1997 【b1】 克里斯蒂安·莫辛 :
类型化高阶程序的流分析。 丹麦哥本哈根大学, 技术报告/哥本哈根大学/数据逻辑研究所 97/1, 1997 【c6】 克里斯蒂安·莫辛 :
高阶价值流图。 PLILP公司 1997 : 159-173 【c5】 克里斯蒂安·莫辛 :
精确流量分析。 SAS公司 1997 : 250-264 1995 【c4】 大卫·N·特纳 , 菲利普·沃德勒 , 克里斯蒂安·莫辛 :
曾经的一种类型。 FPCA公司 1995 : 1-11 【c3】 德克·杜沙特 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 :
多态递归和子类型限定:多项式时间中的多态结合时间分析。 SAS公司 1995 : 118-135 1994 [c2] 弗里茨·亨莱因 , 克里斯蒂安·莫辛 :
多态结合时间分析。 员工持股计划 1994 : 287-301 1993 【c1】 克里斯蒂安·莫辛 :
通用分析器的部分评估。 政治公众人物 1993 : 13-21