Author:
van Doorn Floris,Geuvers Herman,Wiedijk Freek
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Eliminating reflection from type theory;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019
2. System F in Agda, for Fun and Profit;Lecture Notes in Computer Science;2019
3. Pure iso-type systems;Journal of Functional Programming;2019
4. Unifying typing and subtyping;Proceedings of the ACM on Programming Languages;2017-10-12
5. A specification for dependent types in Haskell;Proceedings of the ACM on Programming Languages;2017-08-29