Author:
Altenkirch Thorsten,Morris Peter
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. GADTs are not (Even partial) functors;Mathematical Structures in Computer Science;2024-08-27
2. Inductive Diagrams for Causal Reasoning;Proceedings of the ACM on Programming Languages;2024-04-29
3. Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models;Electronic Proceedings in Theoretical Computer Science;2023-09-22
4. GADTs, Functoriality, Parametricity: Pick Two;Electronic Proceedings in Theoretical Computer Science;2022-04-08
5. Subtyping Without Reduction;Lecture Notes in Computer Science;2022