■ Reference. Decalf: A Directed, Effectful Cost-Aware Logical Framework [grodin-harper-niu-sterling-2023]July 12, 2023Harrison Grodin, Robert Harper, Yue Niu, Jon SterlingPOPL '24arXivAppears in Publications .