Logical Optimisation and Cost Modelling of Stream-Processing Programs Written in a Purely-Functional Framework | IEEE Conference Publication | IEEE Xplore