Alan J. Demers, James E. Donahue, Glenn Skinner. Data Types as Values: Polymorphism, Type-Checking, Encapsulation. In POPL. pages 23-30, 1978.
@inproceedings{DemersDS78, title = {Data Types as Values: Polymorphism, Type-Checking, Encapsulation}, author = {Alan J. Demers and James E. Donahue and Glenn Skinner}, year = {1978}, tags = {data-flow, type checking, e-science, data encapsulation}, researchr = {https://researchr.org/publication/DemersDS78}, cites = {0}, citedby = {0}, pages = {23-30}, booktitle = {POPL}, }