交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
托尔斯滕·阿尔腾基奇内尔·加纳彼得·汉考克康纳州MCBRIDE和彼得·莫里斯2015索引的容器.功能编程杂志,第25卷,问题,
达内尔·阿赫曼和塔尔莫乌斯塔卢2016作为类别的定向容器.理论计算机科学电子论文集,第207卷,问题,第页。89
丹尼尔森、尼尔斯·安德斯2018使用大小类型的Up-to技术.美国计算机学会程序设计语言会议录,第2卷,发布。POPL、,第页。1
托梅·科尔蒂尼亚斯(ToméCortiñas)、卡洛斯(Carlos)和沃特·斯威斯特拉2018从代数到抽象机:一个经过验证的泛型结构.第页。78
维克托·卡奇亚里·米拉尔多和亚历杭德罗·塞拉诺2018相互递归数据类型的乘积总和:挪用论者对泛型编程的看法.第页。65
巴列斯特列里,佛罗伦萨和米歇尔·莫尼2018OCaml中的泛型编程.理论计算机科学电子论文集,第285卷,问题,第页。59
文森特·拉里马克·比克福德科恩、利隆和罗伯特·康斯特布尔。2019棒材归纳法与构造型理论的相容性.ACM杂志,第66卷,发布。2,第页。1
尼古拉·克劳斯和雅各布·冯·劳默2019同伦型理论中高归纳型的路径空间.第页。1
贾斯敏·克里斯蒂安·布兰切特洛伦佐·盖里安德烈·波佩斯库和德米特里·特拉泰尔2019绑定为有界自然函子.美国计算机学会程序设计语言会议录,第三卷,发布。POPL、,第页。1
贾斯珀·胡古宁2019软件科学和计算结构基础.第11425卷,问题,第页。295
克里斯蒂安·萨特勒和安德烈亚·维佐西2020n-截断型理论中的部分单叶性.第页。807
洛伦佐·盖里和安德烈·波佩斯库2020带约束的形式化一般句法理论:扩展版.自动化推理杂志,第64卷,发布。4,第页。641
帕特里夏·约翰和安德鲁·波伦斯基2020软件科学和计算结构基础.第12077卷,问题,第页。339
埃里克·芬斯特安托万·阿利乌克斯和索索、马蒂厄2021类型是内部∞-群胚.第页。1
埃里克·芬斯特塞缪尔·米姆拉姆马克西姆·卢卡斯和托马斯·塞勒2021同伦型理论中多项式函数的笛卡尔双范畴.理论计算机科学电子论文集,第351卷,问题,第页。67
圭拉默·阿莱斯罗伯特·艾基詹姆斯·查普曼康纳州MCBRIDE和詹姆斯·麦金纳2021具有绑定的类型和范围安全语法:语义和证明.功能编程杂志,第31卷,问题,
Hou(Favonia)、Kuen-Bang和王竹阳2022对数和程序测试.美国计算机学会程序设计语言论文集,第6卷,发布。POPL、,第页。1
加利福尼亚州范德雷斯特鲍尔森、卡斯珀·巴赫鲁沃特,阿扬埃尔科·维瑟和彼得·莫塞斯2022内禀型定义口译员点菜.美国计算机学会程序设计语言会议录,第6卷,发布。OOPSLA2,第页。1903
布兰登·休尔和格雷厄姆·赫顿2022程序构造数学.第13544卷,问题,第页。34
帕特里夏·约翰恩里科·吉奥尔齐和丹尼尔·杰弗里斯2022GADT,函数性,参数性:选择二.理论计算机科学电子论文集,第357卷,问题,第页。77