Created in January 05, 2024
2024
📘 publish Decalf: A Directed, Effectful Cost-Aware Logical Framework at POPL 2024