Ownership, encapsulation and the disjointness of type and effect

David G. Clarke, Sophia Drossopoulou. Ownership, encapsulation and the disjointness of type and effect. In OOPSLA. pages 292-310, 2002. [doi]

@inproceedings{ClarkeD02,
  title = {Ownership, encapsulation and the disjointness of type and effect},
  author = {David G. Clarke and Sophia Drossopoulou},
  year = {2002},
  doi = {10.1145/582419.582447},
  url = {http://doi.acm.org/10.1145/582419.582447},
  researchr = {https://researchr.org/publication/ClarkeD02},
  cites = {0},
  citedby = {0},
  pages = {292-310},
  booktitle = {OOPSLA},
}