Clayton H. Lewis, Barry K. Rosen. Recursively Defined Data Types. In POPL. pages 125-138, 1973.
@inproceedings{LewisR73,
title = {Recursively Defined Data Types},
author = {Clayton H. Lewis and Barry K. Rosen},
year = {1973},
tags = {data-flow},
researchr = {https://researchr.org/publication/LewisR73},
cites = {0},
citedby = {0},
pages = {125-138},
booktitle = {POPL},
}