Horst Reichel. Computable Functional Enrichments of Parameterized Behavioural Data Types. In ADT. 1986.
@inproceedings{Reichel86, title = {Computable Functional Enrichments of Parameterized Behavioural Data Types}, author = {Horst Reichel}, year = {1986}, tags = {data-flow}, researchr = {https://researchr.org/publication/Reichel86}, cites = {0}, citedby = {0}, booktitle = {ADT}, }