Amr Sabry公司
人员信息
附属: 美国印第安纳大学
其他同名人员
Amr S.Ghoneim公司 (又名:Amr Ahmed Sabry Abdel-Rahman Ghoneim)
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2024 [公元20年] 雅克·卡雷特 , 克里斯·希恩 , 罗宾·卡斯加德 , Amr Sabry公司 :
只要几个平方根,量子计算就和Pi一样简单。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 546-574 ( 2024 ) [公元38年] 雅克·卡雷特 , 克里斯·希恩 , 罗宾·卡斯加德 , Amr Sabry公司 :
成分可逆计算。 钢筋混凝土 2024 : 10-27 2023 [公元37年] 雅克·卡雷特 , 杰拉尔多·奥尔蒂斯 , Amr Sabry公司 :
Hadamard-Toffoli量子电路的符号执行。 政治公众人物@POPL 2023 : 14-26 [第九章] 雅克·卡雷特 , 克里斯·希恩 , 罗宾·卡斯加德 , Amr Sabry公司 :
量子效应:QuantumPi的配方。 CoRR公司 abs/2302.01885 ( 2023 ) [i8] 雅克·卡雷特 , 克里斯·希恩 , 罗宾·卡尔斯加德 , Amr Sabry公司 :
只要几个平方根,量子计算就和∏一样简单。 CoRR公司 abs/2310.14056 ( 2023 ) 2022 [公元19年] 雅克·卡雷特 , 罗珊·詹姆士 , Amr Sabry公司 :
第二章——拥抱物理定律:三种可逆的计算模型。 高级计算。 126 : 15-63 ( 2022 ) [公元18年] 维克拉曼·乔杜里 , 杰克·卡沃夫斯基 , Amr Sabry公司 :
可逆编程中的对称性:从对称rig群到可逆编程语言。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-32 ( 2022 ) [i7] 雅克·卡雷特 , 杰拉尔多·奥尔蒂斯 , Amr Sabry公司 :
追溯量子计算。 CoRR公司 abs/2205.06346 ( 2022 ) 2021 [公元17年] 奥列格·基塞利约夫 , 申成木 , Amr Sabry公司 :
不仅仅通过方程式:具有可扩展效果的推理。 J.功能。 程序。 31 : 第2页 ( 2021 ) [公元16年] 陈朝洪 , Amr Sabry公司 :
紧闭范畴的计算解释:负型和分数型可逆规划。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-29 ( 2021 ) [i6] 维克拉曼·乔杜里 , 杰克·卡沃夫斯基 , Amr Sabry公司 :
可逆编程中的对称性:从对称Rig群到可逆编程语言。 CoRR公司 abs/2110.05404 ( 2021 ) 2020 [公元36年] 陈朝洪 , 维克拉曼·乔杜里 , 雅克·卡雷特 , Amr Sabry公司 :
分数类型-Ancilla比特的表达和安全空间管理。 钢筋混凝土 2020 : 169-186 [i5] 陈朝洪 , 维克拉曼·乔杜里 , 雅克·卡雷特 , Amr Sabry公司 :
分数类型:Ancilla比特的表达式和安全空间管理。 CoRR公司 abs/2002.07020 ( 2020 )
2010 – 2019
2018 [公元15年] 卡梅隆剑 , Amr Sabry公司 , 萨姆·托宾-霍奇斯塔特 :
作为沟通模式的合同监控策略的扩展说明。 J.功能。 程序。 28 : e4(电子4) ( 2018 ) [公元35年] 朱瑞宇(Ruiyu Zhu) , 达里安·卡塞尔 , Amr Sabry公司 , 炎黄 :
NANOPI:极端规模的主动安全多方计算。 CCS系统 2018 : 862-879 [公元34年] Amr Sabry公司 , 贝诺?t缬氨酸 , 朱莉安娜·凯泽·维佐托 :
从对称模式匹配到量子控制。 FoSSaCS公司 2018 : 348-364 [公元33年] 克里斯蒂安·赫茨拉 , 雅克·卡雷特 , Amr Sabry公司 :
可逆电路变换库(正在进行中)。 钢筋混凝土 2018 : 339-345 [公元32年] 雅克·卡雷特 , 陈朝洪 , 维克拉曼·乔杜里 , Amr Sabry公司 :
从可逆程序到单价宇宙,再到单价宇宙。 MFPS公司 2018 : 5-25 [i4] Amr Sabry公司 , 贝诺?t缬氨酸 , 朱利安娜·凯泽·维佐托 :
从对称模式匹配到量子控制(扩展版)。 CoRR公司 abs/1804.00952 ( 2018 ) [i3] 雅克·卡雷特 , 罗珊·詹姆士 , Amr Sabry公司 :
拥抱物理定律:三种可逆的计算模型。 CoRR公司 abs/1811.03678 ( 2018 ) 2017 [公元31年] Amr Sabry公司 :
在计算的基础上接受物理定律。 MECO公司 2017 : 1 [i2] 雅克·卡雷特 , 陈朝洪 , 维克拉曼·乔杜里 , Amr Sabry公司 :
从可逆程序到单价宇宙,再到单价宇宙。 CoRR公司 abs/1708.02710 ( 2017 ) 2016 [公元30年] 雅克·卡雷特 , Amr Sabry公司 :
用半环和弱Rig群胚计算。 员工持股计划 2016 : 123-148 2015 [公元29年] 卡梅隆剑 , Amr Sabry公司 , 萨姆·托宾-霍奇斯塔特 :
将合同监控器表示为通信模式。 ICFP公司 2015 : 387-399 [公元28年] 杰弗里·布朗 , Amr Sabry公司 :
可逆通信过程。 地点 2015 : 45-59 2013 [公元27年] 奥列格·基塞利约夫 , Amr Sabry公司 , 卡梅伦剑 :
可扩展效果:单子变压器的替代品。 哈斯克尔 2013 : 59-70 [c26] 多亚·哈桑 , Amr Sabry公司 :
在Haskell中使用受限委托和撤销对安全信息流进行编码。 ICFP的FPCDSL 2013 : 11-18 2012 [公元25年] 奥列格·基塞利约夫 , 西蒙·佩顿·琼斯 , Amr Sabry公司 :
懒惰与屈服:增量、线性印刷。 阿普拉斯 2012 : 190-206 [c24] 罗珊·詹姆士 , Amr Sabry公司 :
信息效果。 POPL公司 2012 : 73-84 【c23】 罗珊·詹姆士 , Amr Sabry公司 :
来自逻辑可逆抽象机器的同构解释器。 钢筋混凝土 2012 : 57-71 2010 [公元14年] 罗纳德·加西亚 , 安德鲁·卢姆斯代恩 , Amr Sabry公司 :
延迟评估和分隔控制。 日志。 方法计算。 科学。 6 ( 三 ) ( 2010 )
2000 – 2009
2009 [j13] 泽纳·M·阿里奥拉 , 雨果·赫伯林 , Amr Sabry公司 :
限定延续的类型理论基础。 高。 订购符号。 计算。 22 ( 三 ) : 233-273 ( 2009 ) [公元12年] 泽纳·M·阿里奥拉 , 亚伦·博哈农 , Amr Sabry公司 :
顺序计算和抽象机器。 ACM事务处理。 程序。 语言系统。 31 ( 4 ) : 13:1-13:48 ( 2009 ) [公元22年] 罗纳德·加西亚 , 安德鲁·卢姆斯代恩 , Amr Sabry公司 :
延迟计算和分隔控制。 府绸 2009 : 153-164 【c21】 朱利安娜·凯泽·维佐托 , 吉奥瓦尼·鲁伯特·利布雷托 , Amr Sabry公司 :
混合态上一般量子程序的推理。 SBMF公司 2009 : 321-335 [公元20年] 朱利安娜·凯泽·维佐托 , 安德烈·劳勃·杜波伊斯 , Amr Sabry公司 :
作为量子编程语言的箭头微积分。 WoLLIC公司 2009 : 379-393 2008 [第1页] Amr Sabry公司 :
副作用。 威利计算机科学与工程百科全书 2008 2007 [公元11年] R.Kent Dybvig公司 , 西蒙·佩顿·琼斯 , Amr Sabry公司 :
限定延续的一元框架。 J.功能。 程序。 17 ( 6 ) : 687-730 ( 2007 ) [公元10年] 泽纳·M·阿里奥拉 , 雨果·赫伯林 , Amr Sabry公司 :
失败延续的证明理论基础。 高。 订购符号。 计算。 20 ( 4 ) : 403-429 ( 2007 ) 2006 [公元9年] 朱利安娜·凯泽·维佐托 , 托尔斯滕·阿尔滕基奇 , Amr Sabry公司 :
构建量子效应:超级算符如箭头。 数学。 结构。 计算。 科学。 16 ( 三 ) : 453-468 ( 2006 ) [第19条] 奥列格·基塞利约夫 , Chung-chieh Shan公司 , Amr Sabry公司 :
带分隔符的动态绑定。 ICFP公司 2006 : 26-37 [第18条] 朱利安娜·凯泽·维佐托 , 安东尼奥·卡洛斯·达罗查·科斯塔 , Amr Sabry公司 :
哈斯克尔的量子箭。 QPL公司 2006 : 139-152 2005 [第17条] 奥列格·基塞利约夫 , Chung-chieh Shan公司 , 丹尼尔·弗里德曼 , Amr Sabry公司 :
回溯、交错和终止单子变压器:(功能珍珠)。 ICFP公司 2005 : 192-203 [第16条] 托尔斯滕·阿尔滕基奇 , 乔纳森·格拉塔奇 , 朱利安娜·凯泽·维佐托 , Amr Sabry公司 :
纯量子规划代数。 QPL公司 2005 : 23-47 [i1] 朱利安娜·凯泽·维佐托 , 托尔斯滕·阿尔滕基奇 , Amr Sabry公司 :
构建量子效应:超级算符如箭头。 CoRR公司 abs/quant-ph/0501151 ( 2005 ) 2004 [j8] 尤金尼奥·莫吉 , Amr Sabry公司 :
值递归的抽象一元语义。 RAIRO提奥。 信息学应用。 38 ( 4 ) : 375-400 ( 2004 ) [第15条] 泽纳·M·阿里奥拉 , 雨果·赫伯林 , Amr Sabry公司 :
延续和提示的类型理论基础。 ICFP公司 2004 : 40-53 2003 [第14条] 尤金尼奥·莫吉 , Amr Sabry公司 :
一种用于值递归的抽象Mondic语义。 菲莎国际学院 2003 : 64-79 [第13条] Amr Sabry公司 :
在Haskell中建模量子计算。 哈斯克尔 2003 : 39-49 2002 [j7] 丹尼尔·弗里德曼 , Amr Sabry公司 :
小段CPS:组成部分延续。 J.功能。 程序。 12 ( 6 ) : 617-622 ( 2002 ) [j6] 奥利维尔·丹维 , Amr Sabry公司 :
编辑。 高。 订购符号。 计算。 15 ( 2-3 ) : 139-140 ( 2002 ) 2001 [j5] 尤金尼奥·莫吉 , Amr Sabry公司 :
效果的一元封装:修订方法(扩展版)。 J.功能。 程序。 11 ( 6 ) : 591-627 ( 2001 ) 【j4】 永晓 , Amr Sabry公司 , 泽纳·M·阿里奥拉 :
从句法理论到解释器:自动证明唯一分解。 高。 订购符号。 计算。 14 ( 4 ) : 387-409 ( 2001 ) [第12条] 史蒂文·甘兹 , Amr Sabry公司 , 瓦利德·塔哈 :
作为多级计算的宏:MacroML中的类型安全、生成、绑定宏。 ICFP公司 2001 : 74-85
1990 – 1999
1999 [第11条] Miley Semmelroth公司 , Amr Sabry公司 :
ML中的单数封装。 ICFP公司 1999 : 8-17 [第10条] 约翰·霍华德·埃利·菲斯基-拉塞特 , Amr Sabry公司 :
测试操作技巧:行为验证的句法理论。 HOOTS公司 1999 : 34-51 1998 [j3] Amr Sabry公司 :
什么是纯功能语言? J.功能。 程序。 8 ( 1 ) : 1-22 ( 1998 ) 【c9】 泽纳·M·阿里奥拉 , Amr Sabry公司 :
一元状态的正确性:一个迫切需要的微积分。 POPL公司 1998 : 62-74 1997 [注2] Amr Sabry公司 , 菲利普·沃德勒 :
对Call-by Value的思考。 ACM事务处理。 程序。 语言系统。 19 ( 6 ) : 916-941 ( 1997 ) 【c8】 约翰·朗彻伯里 , Amr Sabry公司 :
一元状态:公理化和类型安全。 ICFP公司 1997 : 227-238 【c7】 泽纳·M·阿里奥拉 , Amr Sabry公司 :
一元状态的正确性:一个迫切需要的微积分。 HOOTS公司 1997 : 53 1996 【c6】 Amr Sabry公司 , 菲利普·沃德勒 :
对Call-by Value的思考。 ICFP公司 1996 : 13-24 【c5】 约翰·休斯 , 拉尔斯·帕雷托 , Amr Sabry公司 :
用大小型证明无功系统的正确性。 POPL公司 1996 : 410-423 1994 【b1】 Amr Sabry公司 :
直接和连续传递风格优化编译器之间的形式关系——两种范式的综合。 美国德克萨斯州休斯顿大学, 大米COMP TR 94-241, 1994 【c4】 Amr Sabry公司 , 马提亚斯·费莱森 :
连续传递对数据流分析有用吗? PLDI公司 1994 : 1-12 1993 [j1] Amr Sabry公司 , 马提亚斯·费莱森 :
关于连续传球式程序的推理。 LISP符号。 计算。 6 ( 3-4 ) : 289-360 ( 1993 ) 【c3】 科马克·弗拉纳根 , Amr Sabry公司 , 布鲁斯·杜巴 , 马提亚斯·费莱森 :
用连续体编译的本质。 PLDI公司 1993 : 237-247 [c2] 科马克·弗拉纳根 , Amr Sabry公司 , 布鲁斯·杜巴 , 马提亚斯·费莱森 :
继续编译的本质(具有回顾性)。 最佳PLDI 1993 : 502-514 1992 【c1】 Amr Sabry公司 , 马提亚斯·费莱森 :
关于连续传递样式的程序的推理。 LISP与函数编程 1992 : 288-298
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)