Cited By
View all- Carnier DPottier FKeuchel S(2024)Type Inference LogicsProceedings of the ACM on Programming Languages10.1145/36897868:OOPSLA2(2125-2155)Online publication date: 8-Oct-2024
- 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
- Qin XO’Connor Lvan Glabbeek RHöfner PKammar OSteuwer M(2024)Shoggoth: A Formal Foundation for Strategic RewritingProceedings of the ACM on Programming Languages10.1145/36332118:POPL(61-89)Online publication date: 5-Jan-2024
- Show More Cited By