Logical Optimisation and Cost Modelling of Stream-Processing Programs Written in a Purely-Functional Framework

March 2, 2023