@inproceedings{FernandesSSV11, title = {Strictification of circular programs}, author = {João Paulo Fernandes and João Saraiva and Daniel Seidel and Janis Voigtländer}, year = {2011}, doi = {10.1145/1929501.1929526}, url = {http://doi.acm.org/10.1145/1929501.1929526}, tags = {laziness, attribute grammars, traversal, functional programming, programming, systematic-approach, transformation, grammar, program transformation}, researchr = {https://researchr.org/publication/FernandesSSV11}, cites = {0}, citedby = {0}, pages = {131-140}, booktitle = {PEPM}, }