■ Reference. A Cost-Aware Logical Framework [niu-sterling-grodin-harper-2022]January 2022Yue Niu, Jon Sterling, Harrison Grodin, Robert HarperPOPL '22doi:10.1145/3498670Appears in Publications .