卡洛·安吉利
人员信息
优化列表
2020年–今天
2023 [j5] Kuen-Bang Hou(法沃尼亚) , 卡洛·安吉利 , 芦苇 :
宇宙多态性的序理论分析。 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 1659-1685 ( 2023 ) 2022 【j4】 乔纳森·斯特林 , 卡洛·安吉利 , 丹尼尔·格拉泽 :
Bishop集的立方语言。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) [i8] 丹尼尔·格拉泽 , 乔纳森·斯特林 , 卡洛·安吉乌利 , 蒂埃里·科昆 , 拉尔斯·比克达尔 :
控制类型理论中的展开。 CoRR公司 abs/2210.05420 ( 2022 ) 2021 【b1】 卡洛·安吉利 :
笛卡尔立体类型理论的计算语义学。 美国卡内基梅隆大学, 2021 [j3] 卡洛·安吉利 , 纪尧姆·布鲁内里 , 蒂埃里·科昆 , 罗伯·哈波 , Kuen-Bang Hou(法沃尼亚) , 丹尼尔·里卡塔 :
笛卡尔立方类型理论的句法和模型。 数学。 结构。 计算。 科学。 31 ( 4 ) : 424-468 ( 2021 ) [注2] 卡洛·安吉利 , 埃文·卡瓦洛 , 安德斯·莫特伯格 , 马克斯·齐纳 :
将代表独立性与单一性内在化。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-30 ( 2021 ) 【c7】 乔纳森·斯特林 , 卡洛·安吉利 :
立方型理论的规范化。 低收入国家 2021 : 1-15 [i7] 乔纳森·斯特林 , 卡洛·安吉利 :
立方型理论的规范化。 CoRR公司 abs/2101.11479 ( 2021 ) 2020 [i6] 乔纳森·斯特林 , 卡洛·安吉利 , 丹尼尔·格拉泽 :
毕晓普集的立体语言。 CoRR公司 abs/2003.01491 ( 2020 ) [i5] 卡洛·安吉利 , 埃文·卡瓦洛 , 安德斯·莫特伯格 , 马克斯·齐纳 :
用统一性实现代表独立。 CoRR公司 abs/2009.05547 ( 2020 )
2010 – 2019
2019 【c6】 乔纳森·斯特林 , 卡洛·安吉利 , 丹尼尔·格拉泽 :
无反射外延等式的立方语法。 金融稳定与发展部 2019 : 31:1-31:25 [i4] 乔纳森·斯特林 , 卡洛·安吉利 , 丹尼尔·格拉泽 :
无反射扩展等式的立方语法。 CoRR公司 abs/1904.08562 ( 2019 ) 2018 【c5】 卡洛·安吉利 , Kuen-Bang Hou(法沃尼亚) , 罗伯·哈波 :
笛卡尔三次计算类型理论:具有路径和等式的构造推理。 CSL公司 2018 : 6:1-6:17 【c4】 卡洛·安吉利 , 埃文·卡瓦洛 , Kuen-Bang Hou(法沃尼亚) , 罗伯·哈波 , 乔纳森·斯特林 :
RedPRL校样助理(受邀论文)。 LFMTP@FSCD时 2018 : 1-10 2017 【c3】 卡洛·安吉乌利 , 罗伯·哈波 , 托德·威尔森 :
计算高维类型理论。 POPL公司 2017 : 680-693 [i3] 卡洛·安吉利 , Kuen-Bang Hou(法沃尼亚) , 罗伯·哈波 :
计算高等类型理论III:单价宇宙和精确相等。 CoRR公司 abs/1712.01800 ( 2017 ) 2016 [j1] 卡洛·安吉利 , 爱德华·莫尔豪斯 , 丹尼尔·里卡塔 , 罗伯·哈波 :
同源斑块理论。 J.功能。 程序。 26 : 第18页 ( 2016 ) [c2] 尼古拉斯·费尔特曼 , 卡洛·安吉利 , Umut A.Acar公司 , Kayvon Fatahalian公司 :
自动分割两阶段Lambda演算。 员工持股计划 2016 : 255-281 [i2] 卡洛·安吉利 , 罗伯·哈波 , 托德·威尔森 :
计算高等类型理论I:抽象立方可实现性。 CoRR公司 abs/1604.08873 ( 2016 ) [i1] 卡洛·安吉利 , 罗伯·哈波 :
计算高等类型理论II:相关立方可实现性。 CoRR公司 abs/1606.09638 ( 2016 ) 2014 【c1】 卡洛·安吉利 , 爱德华·莫尔豪斯 , 丹尼尔·里卡塔 , 罗伯·哈波 :
同源斑块理论。 ICFP公司 2014 : 243-256年