Jean-Louis Giavitto. A framework for the recursive definition of data structures. In PPDP. pages 45-55, 2000. [doi]
@inproceedings{Giavitto00, title = {A framework for the recursive definition of data structures}, author = {Jean-Louis Giavitto}, year = {2000}, doi = {10.1145/351268.351275}, url = {http://doi.acm.org/10.1145/351268.351275}, tags = {data-flow}, researchr = {https://researchr.org/publication/Giavitto00}, cites = {0}, citedby = {0}, pages = {45-55}, booktitle = {PPDP}, }