Funder
European Research Council
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Internal Parametricity, without an Interval;Proceedings of the ACM on Programming Languages;2024-01-05
2. Internal and Observational Parametricity for Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05
3. An Interpretation of E-HA^w inside HA^w;Electronic Proceedings in Theoretical Computer Science;2023-11-17
4. Defunctionalization with Dependent Types;Proceedings of the ACM on Programming Languages;2023-06-06
5. How to safely use extensionality in Liquid Haskell;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06