Cited By
View all- Spies SForster YBlanchette JHriţcu C(2020)Undecidability of higher-order unification formalised in CoqProceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3372885.3373832(143-157)Online publication date: 20-Jan-2020
- Farka F(2020)slepice: Towards a Verified Implementation of Type Theory in Type TheoryLogic-Based Program Synthesis and Transformation10.1007/978-3-030-68446-4_7(133-150)Online publication date: 7-Sep-2020
- Valliappan NHughes JChechina NFrancalanza A(2018)Typing the wild in ErlangProceedings of the 17th ACM SIGPLAN International Workshop on Erlang10.1145/3239332.3242766(49-60)Online publication date: 29-Sep-2018
- Show More Cited By