安德烈·菲林斯基
人员信息
附属: 丹麦哥本哈根大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 [j6] 安德烈·菲林斯基 :
验证定向程序转换:高效正则表达式匹配的函数说明。 J.功能。 程序。 31 : 第12页 ( 2021 )
2010 – 2019
2016 [第18条] 弗雷德里克·马德森 , 安德烈·菲林斯基 :
多核上的流式嵌套数据并行。 FHPC@ICFP 2016 : 44-51 2013 [第17条] 弗雷德里克·马德森 , 安德烈·菲林斯基 :
面向嵌套数据并行的流模型。 FHPC@ICFP 2013 : 13-24 [第16条] 乌里克·特普·拉斯穆森 , 安德烈·菲林斯基 :
案例分析和等式推理的结构逻辑关系。 LFMTP公司 2013 : 43-54 2012 [电子2] 安德烈·菲林斯基 , 克莱门斯·格雷克 :
第一届ACM SIGPLAN功能性高性能计算研讨会会议记录,丹麦哥本哈根, FHPC@ICFP 2012年9月9日至15日。 ACM公司 2012 ,国际标准图书编号 978-1-4503-1577-7 [目录] 2011 [第15条] 安德烈·菲林斯基 :
迈向一元效应的综合理论。 ICFP公司 2011 : 1 [第14条] 乔斯特·伯特霍尔德 , 安德烈·菲林斯基 , 弗里茨·亨利恩 , 肯·弗里斯·拉森 , 莫根斯·斯特芬森 , 布赖恩·温特 :
功能性高性能财务IT。 函数式编程趋势 2011 : 98-113 2010 [第13条] 安德烈·菲林斯基 :
行动中的单子。 POPL公司 2010 : 483-494
2000 – 2009
2009 [第12条] 安德斯·斯塔克·亨利克森 , 汤姆·赫维特 , 安德烈·菲林斯基 :
契约式分布式编程的博弈论模型。 GI贾尔斯塔贡 2009 : 3473-3484 2007 [j5] 安德烈·菲林斯基 :
关于一元语义之间的关系。 西奥。 计算。 科学。 375 ( 1-3 ) : 41-75 ( 2007 ) [第11条] 安德烈·菲林斯基 , 克里斯蒂安·斯特夫林 :
关于有效数据类型的归纳推理。 ICFP公司 2007 : 97-110 2006 【j4】 奥利维尔·丹维 , 安德烈·菲林斯基 , 吉安·路易斯·贾维托 , 安迪·金 , Pierre-Etienne Moreau公司 , 卡罗琳·塔尔科特 :
编辑。 高。 订购符号。 计算。 19 ( 4 ) : 343-344 ( 2006 ) [第10条] 安德烈·菲林斯基 :
哈斯克尔的一元反射。 MPC的MSFP 2006 2005 [j3] 安德烈·菲林斯基 , Henning Korsholm Rohde公司 :
通过评估实现非类型化标准化的外延方面。 RAIRO提奥。 信息学应用。 39 ( 三 ) : 423-453 ( 2005 ) 2004 【c9】 安德烈·菲林斯基 , Henning Korsholm Rohde公司 :
通过评估对非类型化归一化的一种表示方法。 FoSSaCS公司 2004 : 167-181 2001 【c8】 安德烈·菲林斯基 :
计算Lambda-Calculus的求值归一化。 薄层色谱分析 2001 : 151-165 [电子1] 奥利维尔·丹维 , 安德烈·菲林斯基 :
作为数据对象的程序,第二次研讨会,PADO 2001,丹麦奥胡斯,2001年5月21日至23日,会议记录。 计算机科学课堂讲稿 2053, 施普林格 2001 ,国际标准图书编号 3-540-42068-1 [目录] 2000 【c7】 彼得·戴比杰 , 安德烈·菲林斯基 :
规范化和部分评估。 应用扫描电镜 2000 : 137-192
1990 – 1999
1999 【c6】 安德烈·菲林斯基 :
代表分层单体。 POPL公司 1999 : 175-188 【c5】 安德烈·菲林斯基 :
类型定向部分求值的语义说明。 PPDP(PPDP) 1999 : 378-395 1994 [注2] 安德烈·菲林斯基 :
迭代的递归。 LISP符号。 计算。 7 ( 1 ) : 11-38 ( 1994 ) 【c4】 安德烈·菲林斯基 :
代表Monads。 POPL公司 1994 : 446-457 1992 [j1] 奥利维尔·丹维 , 安德烈·菲林斯基 :
代表控制:CPS转换研究。 数学。 结构。 计算。 科学。 2 ( 4 ) : 361-391 ( 1992 ) 【c3】 安德烈·菲林斯基 :
线性连续。 POPL公司 1992 : 27-38 1990 【c2】 奥利维尔·丹维 , 安德烈·菲林斯基 :
抽象控制。 LISP与函数编程 1990 : 151-160
1980 – 1989
1989 [c1] 安德烈·菲林斯基 :
声明性延续:程序设计语言语义二重性研究。 范畴理论与计算机科学 1989 : 224-249
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)