交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
玛丽亚诺·莫斯卡托(Mariano M.Moscato)。Lopez Pombo,Carlos G。塞萨尔·穆尼奥斯。和马可·费利乌。2018交互式定理证明.第10895卷,问题,第页。477.
乔米·科库特和大卫·苏兰·克里斯蒂安森2018可扩展的类型定向编辑.第页。38
新,Max S。和阿马尔·艾哈迈德2018嵌入投影对的渐进性.美国计算机学会程序设计语言会议录,第2卷,发布。ICFP、,第页。1
约瑟夫·埃雷蒙迪埃里克·坦特和罗纳德·加西亚2019渐变依赖类型的近似规范化.美国计算机学会程序设计语言论文集,第三卷,发布。ICFP、,第页。1
新,Max S。丹尼尔·R·利卡塔。和阿马尔·艾哈迈德2019渐进式理论.美国计算机学会程序设计语言会议录,第三卷,发布。POPL、,第页。1
新款,MAX S。丹尼尔·里卡塔。和阿迈尔·艾哈迈德2021渐进式理论.函数编程杂志,第31卷,问题,
傅伟丽费比安·克劳斯和彼得·蒂曼2021标签相关的lambda演算和渐变类型.美国计算机学会程序设计语言会议录,第5卷,发布。OOPSLA公司,第页。1
肯吉·梅拉德梅文·列侬·贝特朗尼古拉斯·塔巴鲁和埃里克·坦特2022合理的渐进式理论.美国计算机学会程序设计语言会议录,第6卷,发布。ICFP、,第页。931.
约瑟夫·埃雷蒙迪罗纳德·加西亚和埃里克·坦特2022渐进依赖型程序设计的命题等式.美国计算机学会程序设计语言会议录,第6卷,发布。ICFP、,第页。165
尼基·瓦祖和迈克尔·格林伯格2022如何在Liquid Haskell中安全使用可扩展性.第页。13
梅文·列侬·贝特朗肯吉·梅拉德尼古拉斯·塔巴雷奥和埃里克·坦特2022归纳结构微积分的逐步化.美国计算机学会编程语言与系统汇刊,第44卷,发布。2,第页。1
凯文·卡佩尔曼2023编程语言和系统.第14405卷,问题,第页。225.
马拉·马列夫斯基肯吉·梅拉德尼古拉斯·塔巴鲁和埃里克·坦特2024渐变索引归纳类型.美国计算机学会程序设计语言会议录,第8卷,发布。ICFP、,第页。544
塞扎尔·康斯坦丁·安德里奇特凡市CiobácȘHriţcu,科特林吉多·马丁内斯埃克塞奎尔·里瓦斯埃里克·坦特和塞奥温特哈尔特2024针对F中未验证的代码保护已验证的IO程序*.美国计算机学会程序设计语言会议录,第8卷,发布。POPL、,第页。2226