Comonadic functional attribute evaluation Export

@article{citeulike:332541, abstract = {We have previously demonstrated that dataflow computation is comonadic. Here we argue that attribute evaluation has a lot in common with dataflow computation and admits a similar analysis. We claim that this yields a new, modular way to organize both attribute evaluation programs written directly in a functional language as well as attribute grammar processors.}, author = {Uustalu, Tarmo and Vene, Varmo}, citeulike-article-id = {332541}, citeulike-linkout-0 = {http://www.cs.ioc.ee/~tarmo/papers/tfp05.pdf}, keywords = {attribute-grammars, comonads}, posted-at = {2006-08-09 18:19:44}, priority = {2}, title = {Comonadic functional attribute evaluation}, url = {http://www.cs.ioc.ee/~tarmo/papers/tfp05.pdf} }

TY - JOUR ID - citeulike:332541 L3 - citeulike-article-id:332541 N2 - We have previously demonstrated that dataflow computation is comonadic. Here we argue that attribute evaluation has a lot in common with dataflow computation and admits a similar analysis. We claim that this yields a new, modular way to organize both attribute evaluation programs written directly in a functional language as well as attribute grammar processors. TI - Comonadic functional attribute evaluation KW - attribute-grammars KW - comonads AU - Uustalu, Tarmo AU - Vene, Varmo UR - http://www.cs.ioc.ee/~tarmo/papers/tfp05.pdf ER -