乔纳森·斯特林
人员信息
优化列表
2020年–今天
2024 [j8] 哈里森·格罗丁 , 岳牛 , 乔纳森·斯特林 , 罗伯·哈波 :
Decalf:一个定向、有效的成本软件逻辑框架。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 273至301 ( 2024 ) [j7] 菲利普·西奇科夫斯基 , 谢尔盖·斯蒂潘南科 , 乔纳森·斯特林 , 拉尔斯·比克达尔 :
广义代数数据类型的本质。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 695-723 ( 2024 ) 【c8】 乔纳森·斯特林 , 丹尼尔·格拉泽 , 拉尔斯·比克达尔 :
走向单价指称类型:单价对指称语义学的影响。 CSL公司 2024 : 47:1-47:21 [i29] 岳牛 , 乔纳森·斯特林 , 罗伯·哈波 :
综合域理论中高阶递归的成本敏感计算充分性。 CoRR公司 abs/2404.00212 ( 2024 ) [第28条] 乔纳森·斯特林 :
单价基础上的反射图形透镜。 CoRR公司 abs/2404.07854 ( 2024 ) 2023 [j6] 乔纳森·斯特林 :
泛型对象应该是什么? 数学。 结构。 计算。 科学。 33 ( 1 ) : 46-67 ( 2023 ) 【c7】 弗雷德里克·勒布杰格·阿加德(Frederik Lerbjerg Aagaard) , 乔纳森·斯特林 , 拉尔斯·比克达尔 :
用于高阶存储的基于指称的程序逻辑。 MFPS公司 2023 [i27] 哈里森·格罗丁 , 罗伯·哈波 , 岳牛 , 乔纳森·斯特林 :
Decalf:一个定向、有效的成本软件逻辑框架。 CoRR公司 abs/2307.05938 ( 2023 ) [i26] 乔纳森·斯特林 :
面向语法的几何图形。 CoRR公司 abs/2307.09497 ( 2023 ) [i25] 乔纳森·斯特林 , 丹尼尔·格拉泽 , 拉尔斯·比克达尔 :
单价参考类型的自由定理。 CoRR公司 abs/2307.16608 ( 2023 ) 【i24】 乔纳森·斯特林 :
构造域理论中提升主义的张量结构。 CoRR公司 abs/2312.17023 ( 2023 ) 2022 【b1】 乔纳森·斯特林 :
合成Tait可计算性的第一步:立方型理论的客观元理论。 美国卡内基梅隆大学, 2022 [j5] 乔纳森·斯特林 , 卡洛·安吉利 , 丹尼尔·格拉泽 :
毕晓普集的立体语言。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) 【j4】 岳牛 , 乔纳森·斯特林 , 哈里森·格罗丁 , 罗伯·哈波 :
具有成本意识的逻辑框架。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-31 ( 2022 ) 【c6】 乔纳森·斯特林 , 罗伯·哈波 :
终止不敏感非干涉的剪切语义。 金融稳定与发展部 2022 : 5:1-5:19 【c5】 丹妮尔·帕隆比 , 乔纳森·斯特林 :
综合保护域理论中拓扑的分类。 多功能操作系统 2022 [第23条] 丹尼尔·格拉泽 , 迈克尔·舒尔曼 , 乔纳森·斯特林 :
直接的丰满订购。 CoRR公司 abs/2202.07329 ( 2022 ) [i22] 乔纳森·斯特林 :
部分映射类别中的胆红素。 CoRR公司 abs/2202.08657 ( 2022 ) 【i21】 丹尼尔·格拉泽 , 迈克尔·舒尔曼 , 乔纳森·斯特林 :
Grothendieck拓扑的严格宇宙。 CoRR公司 abs/2202.12012 ( 2022 ) [i20] 乔纳森·斯特林 , 罗伯·哈波 :
终止不敏感不干涉的剪切语义。 CoRR公司 abs/2204.09421 ( 2022 ) [i19] 乔纳森·斯特林 :
对存在类型的反思。 CoRR公司 abs/2210.00758 ( 2022 ) [i18] 乔纳森·斯特林 , 丹尼尔·格拉泽 , 拉尔斯·比克达尔 :
通用存储和多态的表示语义。 CoRR公司 abs/2210.02169 ( 2022 ) [i17] 乔纳森·斯特林 :
泛型对象应该是什么? CoRR公司 abs/2210.04202 ( 2022 ) [i16] 丹尼尔·格拉泽 , 乔纳森·斯特林 , 卡洛·安吉利 , 蒂埃里·科昆 , 拉尔斯·比克达尔 :
控制类型理论中的展开。 CoRR公司 abs/2210.05420 ( 2022 ) 2021 [j3] 乔纳森·斯特林 , 罗伯·哈波 :
逻辑关系作为类型:程序模块的相关参数证明。 美国临床医学杂志 68 ( 6 ) : 41:1-41:47 ( 2021 ) [注2] 乔纳森·斯特林 :
高阶函数和Brouwer的论文。 J.功能。 程序。 31 : 第11页 ( 2021 ) 【c4】 乔纳森·斯特林 , 卡洛·安吉利 :
立方型理论的规范化。 低收入国家 2021 : 1-15 【i15】 乔纳森·斯特林 , 卡洛·安吉利 :
立方型理论的规范化。 CoRR公司 abs/2101.11479 ( 2021 ) [第14条] 岳牛 , 乔纳森·斯特林 , 哈里森·格罗丁 , 罗伯·哈波 :
具有成本意识的逻辑框架。 CoRR公司 abs/2107.04663 ( 2021 ) 2020 [i13] 乔纳森·斯特林 , 卡洛·安吉利 , 丹尼尔·格拉泽 :
Bishop集的立方语言。 CoRR公司 abs/2003.01491 ( 2020 ) [i12] 乔纳森·斯特林 , 罗伯·哈波 :
逻辑关系作为类型:程序模块的相关参数证明。 CoRR公司 abs/2010.08599 ( 2020 ) [i11] 丹尼尔·格拉泽 , 乔纳森·斯特林 :
依存类型理论的句法范畴:素描和充分性。 CoRR公司 abs/2012.10783 ( 2020 )
2010年至2019年
2019 [j1] 丹尼尔·格拉泽 , 乔纳森·斯特林 , 拉尔斯·比克达尔 :
实现模态依赖型理论。 程序。 ACM计划。 语言。 三 ( ICFP公司 ) : 107:1-107:29 ( 2019 ) 【c3】 乔纳森·斯特林 , 卡洛·安吉利 , 丹尼尔·格拉泽 :
无反射扩展等式的立方语法。 金融稳定与发展部 2019 : 31:1-31:25 [i10] 乔纳森·斯特林 :
代数类型理论和宇宙层次。 CoRR公司 abs/1902.08848 ( 2019 ) [第九章] 乔纳森·斯特林 , 卡洛·安吉利 , 丹尼尔·格拉泽 :
无反射扩展等式的立方语法。 CoRR公司 abs/1904.08562 ( 2019 ) 2018 【c2】 乔纳森·斯特林 , 罗伯·哈波 :
保护计算类型理论。 许可证 2018 : 879-888 【c1】 卡洛·安吉利 , 埃文·卡瓦洛 , Kuen-Bang Hou(法沃尼亚) , 罗伯·哈波 , 乔纳森·斯特林 :
RedPRL校对助理(受邀论文)。 FSCD的LFMTP 2018 : 1-10 [i8] 乔纳森·斯特林 , 罗伯·哈波 :
保护计算类型理论。 CoRR公司 abs/1804.09098 ( 2018 ) [i7] 乔纳森·斯特林 , 低音喷溅 :
自由λ-理论的胶合归一化。 CoRR公司 abs/1809.08646 ( 2018 ) 2017 [i6] 乔纳森·斯特林 , 罗伯·哈波 :
证明精化的代数基础。 CoRR公司 abs/1703.05215 ( 2017 ) 2016 [i5] 乔纳森·斯特林 , 达林·莫里森 :
抽象绑定树的语法和语义。 CoRR公司 abs/1601.06298 ( 2016 ) [i4] 乔纳森·斯特林 :
基本递归条是归纳的。 CoRR公司 abs/1608.03814 ( 2016 ) 2015 [i3] 乔纳森·斯特林 :
关于假设判断的备注。 CoRR公司 abs/1508.01600 ( 2015 ) [i2] 乔纳森·斯特林 :
类型理论及其意义解释。 CoRR公司 abs/1512.01837 ( 2015 ) 2014 [i1] 达里尔·麦克亚当斯 , 乔纳森·斯特林 :
语用学的从属类型。 CoRR公司 abs/1410.4639 ( 2014 )