Jonathan Dowland, Paul Watson 0001, Adam Cattermole. Logical Optimisation and Cost Modelling of Stream-Processing Programs Written in a Purely-Functional Framework. In 15th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2022, Vancouver, WA, USA, December 6-9, 2022. pages 267-272, IEEE, 2022. [doi]
Abstract is missing.