Type-Based Useless-Variable Elimination - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Naoki Kobayashi. Type-Based Useless-Variable Elimination. Higher-Order and Symbolic Computation, 14(2-3):221-260, 2001.

@article{Kobayashi01,
  title = {Type-Based Useless-Variable Elimination},
  author = {Naoki Kobayashi},
  year = {2001},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/Kobayashi01},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {14},
  number = {2-3},
  pages = {221-260},
}

runs on WebDSL