Data Types as Values: Polymorphism, Type-Checking, Encapsulation

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},
}