@inproceedings{Liu:2009:CCA:1596550.1596559, author = {Liu, Hai and Cheng, Eric and Hudak, Paul}, title = {Causal commutative arrows and their optimization}, booktitle = {Proceedings of the 14th ACM SIGPLAN international conference on Functional programming}, series = {ICFP '09}, year = {2009}, isbn = {978-1-60558-332-7}, location = {Edinburgh, Scotland}, pages = {35--46}, numpages = {12}, url = {http://doi.acm.org/10.1145/1596550.1596559}, doi = {http://doi.acm.org/10.1145/1596550.1596559}, acmid = {1596559}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {arrows, dataflow language, functional programming, functional reactive programming, program optimization, stream processing}, }