Cited By
View all- Sozeau MForster YLennon-Bertrand MNielsen JTabareau NWinterhalter T(2025)Correct and Complete Type Checking and Certified Erasure for Coq, in CoqJournal of the ACM10.1145/370605672:1(1-74)Online publication date: 27-Jan-2025
- Kidney DWu N(2025)Formalising Graph Algorithms with CoinductionProceedings of the ACM on Programming Languages10.1145/37048929:POPL(1657-1686)Online publication date: 9-Jan-2025
- Todorov IBach Poulsen CAlves SCockx J(2024)Modal μ-Calculus for Free in AgdaProceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3678000.3678202(16-28)Online publication date: 28-Aug-2024
- Show More Cited By