■ Reference. A cost-aware logical framework [niu-proposal]