Improving Programs Which Recurse over Multiple Inductive Structures - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Leonidas Fegaras, Tim Sheard, Tong Zhou. Improving Programs Which Recurse over Multiple Inductive Structures. In PEPM. pages 21-32, 1994.

@inproceedings{FegarasSZ94,
  title = {Improving Programs Which Recurse over Multiple Inductive Structures},
  author = {Leonidas Fegaras and Tim  Sheard and Tong Zhou},
  year = {1994},
  researchr = {https://researchr.org/publication/FegarasSZ94},
  cites = {0},
  citedby = {0},
  pages = {21-32},
  booktitle = {PEPM},
}

runs on WebDSL