尼尔斯·安德斯·丹尼尔森
人员信息
优化列表
2020年–今天
2023 [注2] 安德烈亚斯·阿贝尔 , 尼尔斯·安德斯·丹尼尔森 , 奥斯卡·埃里克森 :
带有宇宙和擦除的分级模态依赖型理论,形式化。 程序。 ACM计划。 语言。 7 ( ICFP公司 ) : 920-954 ( 2023 ) 2021 [公元20年] 保罗·卡普里奥蒂 , 尼尔斯·安德斯·丹尼尔森 , 安德烈亚·维佐西 :
更高的镜片。 许可证 2021 : 1-13 2020 [第19条] 维克托·洛佩斯·胡安 , 尼尔斯·安德斯·丹尼尔森 :
使用孪生类型进行实际的相关类型检查。 泰德@ICFP 2020 : 11月23日
2010 – 2019
2019 [第18条] 尼尔斯·安德斯·丹尼尔森 :
无通路的高电感型消除器。 类型 2019 : 10:1-10:18 2018 [j1] 尼尔斯·安德斯·丹尼尔森 :
使用大小类型的Up-to技术。 程序。 ACM计划。 语言。 2 ( POPL公司 ) : 43:1-43:28 ( 2018 ) 2017 [第17条] 托尔斯滕·阿滕柯奇 , 尼尔斯·安德斯·丹尼尔森 , 尼古拉·克劳斯 :
偏性,重新审视——偏性单体作为商归纳导电类型。 FoSSaCS公司 2017 : 534-549 2016 [i1] 托尔斯滕·阿滕柯奇 , 尼尔斯·安德斯·丹尼尔森 , 尼古拉·克劳斯 :
党派性,重新审视:作为商归纳归纳型的党派性莫纳德。 CoRR公司 abs/1610.09254 ( 2016 ) 2014 [电子2] 尼尔斯·安德斯·丹尼尔森 , 雅各布施 :
2014年ACM SIGPLAN编程语言研讨会会议记录,PLPV 2014,2014年1月21日,美国加利福尼亚州圣地亚哥,与POPL’14共同举办。 ACM公司 2014 ,国际标准图书编号 978-1-4503-2567-7 [目录] 2013 [第16条] 尼尔斯·安德斯·丹尼尔森 :
正确的结构精美印刷。 ICFP的DTP 2013 : 1-12 [电子1] 尼尔斯·安德斯·丹尼尔森 , 本格特·诺德斯特伦 :
2011年9月8日至11日,挪威卑尔根,第18届国际证明类型和程序研讨会,2011年类型。 LIPIcs公司 19, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2013 ,国际标准图书编号 978-3-939897-49-1 [目录] 2012 [第15条] 尼尔斯·安德斯·丹尼尔森 :
使用偏单体的操作语义。 ICFP公司 2012 : 127-138 [第14条] 尼尔斯·安德斯·丹尼尔森 :
通过证明相关成员关系实现包等价。 ITP公司 2012 : 149-165 2011 [第13条] 尼尔斯·安德斯·丹尼尔森 , 本特·诺德斯特伦 :
前言、目录、前言、车间组织。 类型 2011 2010 [第12条] 托尔斯滕·阿滕柯奇 , 尼尔斯·安德斯·丹尼尔森 , 安德烈斯·洛赫 , 尼古拉斯·欧里 :
PiSigma:不含糖的依赖类型。 FLOPS(浮动) 2010 : 40-55 [第11条] 尼尔斯·安德斯·丹尼尔森 :
语法分析器组合子总数。 ICFP公司 2010 : 285-296 [第10条] 尼尔斯·安德斯·丹尼尔森 :
使用嵌入式语言击败生产力检查器。 ITP的PAR 2010 : 34-54 【c9】 托尔斯滕·阿滕柯奇 , 尼尔斯·安德斯·丹尼尔森 :
存在嵌套电感和共导型时的终端检查。 ITP的PAR 2010 : 101-106 【c8】 尼尔斯·安德斯·丹尼尔森 , 托尔斯滕·阿滕柯奇 :
子类型,声明性。 MPC公司 2010 : 100-118 【c7】 尼尔斯·安德斯·丹尼尔森 :
使用嵌入式语言击败生产力检查器。 标准 2010 : 29-48
2000 – 2009
2008 【c6】 尼尔斯·安德斯·丹尼尔森 , 乌尔夫·诺雷尔 :
正在分析Mixfix运算符。 国际单项体育联合会 2008 : 80至99 【c5】 尼尔斯·安德斯·丹尼尔森 :
纯函数数据结构的轻量级半形式时间复杂性分析。 POPL公司 2008 : 133-144 2007 【b1】 尼尔斯·安德斯·丹尼尔森 :
功能程序通过类型的正确性。 查尔默斯科技大学,瑞典哥德堡, 2007 2006 【c4】 尼尔斯·安德斯·丹尼尔森 , 约翰·休斯 , 帕特里克·詹森 , 杰里米·吉本斯 :
快速而松散的推理在道德上是正确的。 POPL公司 2006 : 206-217 【c3】 尼尔斯·安德斯·丹尼尔森 :
将依赖类型语言形式化为归纳-递归族。 类型 2006 : 93-109 2004 【c2】 尼尔斯·安德斯·丹尼尔森 , 帕特里克·詹森 :
追逐底部:存在部分值和无限值时程序验证的案例研究。 MPC公司 2004 : 85-109 2002 【c1】 尼尔斯·安德斯·丹尼尔森 , 迈克尔·B·史密斯 :
来自模块的拟阵。 MFCSIT公司 2002 : 21-38