帕特里克·詹森
人员信息
附属: 瑞典哥德堡查尔默斯科技大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [j11] 朱莉娅·詹森 , 帕特里克·詹森 :
使用细化、记忆和多项式的布尔函数的p级复杂性。 J.功能。 程序。 33 ( 2023 ) [i4] 朱莉娅·詹森 , 帕特里克·詹森 :
使用细化、记忆和多项式的布尔函数的p级复杂性。 CoRR公司 abs/2302.02473 ( 2023 ) [i3] 尼古拉·博塔 , 帕特里克·詹森 , 吉尔赫梅·奥尔塔·阿尔瓦雷斯·达席尔瓦 :
类型、方程、维数和Pi定理。 CoRR公司 abs/2308.09481 ( 2023 ) [i2] 珍妮·菲利佩·伯纳迪 , 帕特里克·詹森 :
领域特定张量语言。 CoRR公司 abs/2312.02664 ( 2023 ) 2021 [j10] 尼古拉·博塔 , 努里亚·布雷德 , 帕特里克·詹森 , 蒂姆·里希特 :
扩展相等保存和验证的泛型编程。 J.功能。 程序。 31 : 第24页 ( 2021 ) 2020 [i1] 尼古拉·博塔 , 努里亚·布雷德 , 帕特里克·詹森 , 蒂姆·里希特 :
扩展相等保存和验证的泛型编程。 CoRR公司 abs/2008.02123 ( 2020 )
2010 – 2019
2018 [公元27年] 塞扎尔·伊奥内斯库 , 帕特里克·詹森 , 尼古拉·博塔 :
类型理论作为建模和编程的框架。 ISoLA(1) 2018 : 119-133 [公元26年] Maximilian代数 , 帕特里克·詹森 , Sólrún Halla Einarsdóttir先生 , 亚历克斯·格德斯 :
Saint:API-通用类型安全口译员。 全要素生产率 2018 : 94-113 [公元25年] 帕特里克·詹森 , Sólrún Halla Einarsdóttir先生 , 塞扎尔·伊奥内斯库 :
数学领域特定语言BSc级课程的示例和结果。 TFPIE@TFP 2018 : 79-90 2017 [公元9年] 尼古拉·博塔 , 帕特里克·詹森 , 塞扎尔·伊奥内斯库 , 大卫·R·克里斯蒂安森 , 埃德温·C·布雷迪 :
顺序决策问题、依赖类型和一般解决方案。 日志。 方法计算。 科学。 13 ( 1 ) ( 2017 ) [j8] 尼古拉·博塔 , 帕特里克·詹森 , 塞扎尔·伊奥内斯库 :
对政策建议和可避免性计算理论的贡献。 J.功能。 程序。 27 : 第23页 ( 2017 ) [公元24年] Maximilian代数 , 帕特里克·詹森 :
VisPar:可视化来自Par Monad的数据流图。 FHPC@ICFP 2017 : 24-29 2016 [j7] 珍妮·菲利佩·伯纳迪 , 帕特里克·詹森 :
认证的上下文无关解析:在Agda中对Valiant算法进行形式化。 日志。 方法计算。 科学。 12 ( 2 ) ( 2016 ) 【c23】 亚当·桑德伯格·埃里克森 , 帕特里克·詹森 :
块矩阵传递闭包的agda形式化(扩展抽象)。 泰德@ICFP 2016 : 60-61 [公元22年] 塞扎尔·伊奥内斯库 , 帕特里克·詹森 :
数学领域专用语言:使用函数编程进行数学分析。 TFPIE公司 2016 : 1-15 2012 [j6] 珍妮·菲利佩·伯纳迪 , 帕特里克·詹森 , 巴柝声 :
免费证明-依赖类型的参数性。 J.功能。 程序。 22 ( 2 ) : 107-152 ( 2012 ) 【c21】 约翰·杰林 , 帕特里克·詹森 , Cláudio Amaral先生 :
测试类型分类法。 哈斯克尔 2012 : 49-60 [公元20年] 乔纳斯·杜雷格德 , 帕特里克·詹森 , 孟旺(Meng Wang) :
专长:代数类型的函数枚举。 哈斯克尔 2012 : 61-72 [第19条] 塞扎尔·伊奥内斯库 , 帕特里克·詹森 :
科学计算中的依赖型编程——来自经济建模的示例。 国际单项体育联合会 2012 : 140-156 2011 [第18条] Cláudio Amaral先生 , 马里奥·弗洛里多 , 帕特里克·詹森 :
动态类型语言和为什么工具的接口:关于列表和元组的推理。 二郎工作室 2011 : 92-93 [第17条] 乔纳斯·杜雷格德 , 帕特里克·詹森 :
嵌入式解析器生成器。 哈斯克尔 2011 : 107-117 [第16条] 塞扎尔·伊奥内斯库 , 帕特里克·詹森 :
气候影响研究中的测试与证明。 类型 2011 : 41-54 2010 [j5] 珍妮·菲利佩·伯纳迪 , 帕特里克·詹森 , 马辛·扎勒夫斯基 , 西比尔·舒普 :
使用C++概念和Haskell类型类的泛型编程-比较。 J.功能。 程序。 20 ( 3-4 ) : 271-302 ( 2010 ) [第15条] 珍妮·菲利佩·伯纳迪 , 帕特里克·詹森 , 科恩·克莱森 :
测试多态性。 员工持股计划 2010 : 125-144 [第14条] 珍妮·菲利佩·伯纳迪 , 帕特里克·詹森 , 巴柝声 :
参数性和依赖类型。 ICFP公司 2010 : 345-356
2000 – 2009
2009 【j4】 申成木 , 香樟柯 , 帕特里克·詹森 :
Agda编程代数:关系程序派生的依赖类型。 J.功能。 程序。 19 ( 5 ) : 545-579 ( 2009 ) [第13条] 丹尼尔·林克 , 帕特里克·詹森 , 马辛·扎勒夫斯基 , 塞扎尔·伊奥内斯库 :
C++中的泛型库,其概念来自Haskell中的高级域描述。 数字用户线 2009 : 236-261 [电子1] 帕特里克·詹森 , 西比尔·舒普 :
2009年ACM SIGPLAN通用编程研讨会会议记录, ICFP的WGP 2009年8月31日至9月2日,英国爱丁堡。 ACM公司 2009 ,国际标准图书编号 978-1-60558-510-9 [目录] 2008 [第12条] 阿列克谢·罗德里格斯 , 约翰·杰林 , 帕特里克·詹森 , 亚历克斯·格德斯 , 奥列格·基塞利约夫 , 布鲁诺·C·d·S·奥利维拉 :
比较haskell中泛型编程的库。 哈斯克尔 2008 : 111-122 [第11条] 珍妮·菲利佩·伯纳迪 , 帕特里克·詹森 , 马辛·扎勒夫斯基 , 西比尔·舒普 , 安德烈亚斯·普莱斯尼茨 :
c++概念和haskell类型类的比较。 ICFP-WGP公司 2008 : 37-48 [第10条] 申成木 , 香樟柯 , 帕特里克·詹森 :
使用依赖类型的编程代数。 MPC公司 2008 : 268-283 2006 【c9】 帕特里克·詹森 , 约翰·杰林 , 劳伦斯·卡本达 , 格博·恩格斯 , 雅各布·克莱科珀 , Sander Mak公司 , 米歇尔·奥维利姆 , 基斯·维瑟 :
测试泛型函数的属性。 国际单项体育联合会 2006 : 217-234 【c8】 尼尔斯·安德斯·丹尼尔森 , 约翰·休斯 , 帕特里克·詹森 , 杰里米·吉本斯 :
快速而松散的推理在道德上是正确的。 POPL公司 2006 : 206-217 2004 【c7】 尼尔斯·安德斯·丹尼尔森 , 帕特里克·詹森 :
追根溯源:部分和无限值存在下程序验证的案例研究。 MPC公司 2004 : 85-109 【c6】 乌尔夫·诺雷尔 , 帕特里克·詹森 :
在模板Haskell中原型化通用编程。 MPC公司 2004 : 314-333 2003 [j3] 马金·本克 , 彼得·戴比杰 , 帕特里克·詹森 :
依赖类型理论中泛型程序和证明的宇宙。 Nord.J.计算。 10 ( 4 ) : 265-289 ( 2003 ) 【c5】 乌尔夫·诺雷尔 , 帕特里克·詹森 :
Haskell中的多型编程。 国际单项体育联合会 2003 : 168-184 2002 [注2] 帕特里克·詹森 , 约翰·杰林 :
多类型数据转换程序。 科学。 计算。 程序。 43 ( 1 ) : 35-75 ( 2002 ) 2000 【b1】 帕特里克·詹森 :
函数式多型编程。 查尔默斯科技大学,瑞典哥德堡, 2000
1990 – 1999
1999 【c4】 帕特里克·詹森 , 约翰·杰林 :
多类型紧凑打印和解析。 员工持股计划 1999 : 273-287 1998 [j1] 帕特里克·詹森 , 约翰·杰林 :
多型统一。 J.功能。 程序。 8 ( 5 ) : 527-536 ( 1998 ) 【c3】 罗兰·卡尔·巴克豪斯 , 帕特里克·詹森 , 约翰·杰林 , 兰伯特·G·L·T·梅滕斯 :
通用编程:简介。 高级函数编程 1998 : 28-115 1997 【c2】 帕特里克·詹森 , 约翰·杰林 :
Polyp-一种多类型编程语言。 POPL公司 1997 : 470-482 1996 【c1】 约翰·杰林 , 帕特里克·詹森 :
多类型编程。 高级函数编程 1996 : 68-114
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)