Author:
Ghani Neil,Johann Patricia,Forsberg Fredrik Nordvall,Orsanigo Federico,Revell Tim
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. State-dependent representation independence;Ahmed,2009
2. Functorial polymorphism;Bainbridge;Theoretical Computer Science,1990
3. A model of type theory in cubical sets;Bezem,2014
4. Categorical models for Abadi and Plotkin's logic for parametricity;Birkedal;Mathematical Structures in Computer Science,2005
5. Automatic synthesis of typed lambda-programs on term algebras;Böhm;Theoretical Computer Science,1985
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. (Deep) induction rules for GADTs;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
2. Parametricity for Nested Types and GADTs;Logical Methods in Computer Science;2021-12-23
3. Internal Parametricity for Cubical Type Theory;Logical Methods in Computer Science;2021-11-03
4. Parametricity for Primitive Nested Types;Lecture Notes in Computer Science;2021
5. ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F;LOG METH COMPUT SCI;2019