B308AECB-D9F1-4674-B463-71DC9A77D486SCOPE: Scoped Contextual Operations and Effects.Research GrantEP/S028129/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL262412B166192B-8CEC-44F5-A710-E825FF4BF8DAAlgebras for weighted searchProceedings of the ACM on Programming Languages62299ec7a9f90ec0dcd8ad10bbc17fe6Kidney D2021-01-01http://dx.doi.org/10.1145/3473577http://dx.doi.org/10.1145/3473577ICFPJournal Article/Review613a9b9cc12eb