Completeness Results for Basic Narrowing in Non-Copying Implementations

M. R. K. Krishna Rao. Completeness Results for Basic Narrowing in Non-Copying Implementations. In JICSLP. pages 393-407, 1996.

@inproceedings{Rao96:0,
  title = {Completeness Results for Basic Narrowing in Non-Copying Implementations},
  author = {M. R. K. Krishna Rao},
  year = {1996},
  tags = {completeness},
  researchr = {https://researchr.org/publication/Rao96%3A0},
  cites = {0},
  citedby = {0},
  pages = {393-407},
  booktitle = {JICSLP},
}