Higher-order constraint simplification in dependent type theory
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Practical dependent type checking using twin types;Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development;2020-08-09
2. Kind inference for datatypes;Proceedings of the ACM on Programming Languages;2020-01
3. A mechanical formalization of higher-ranked polymorphic type inference;Proceedings of the ACM on Programming Languages;2019-07-26
4. Formalization of a Polymorphic Subtyping Algorithm;Interactive Theorem Proving;2018
5. Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory;Journal of Functional Programming;2018