Self-applicable Online Partial Evaluation of Pure Lambda Calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Torben Æ. Mogensen. Self-applicable Online Partial Evaluation of Pure Lambda Calculus. In PEPM. pages 39-44, 1995.

@inproceedings{Mogensen95,
  title = {Self-applicable Online Partial Evaluation of Pure Lambda Calculus},
  author = {Torben Æ. Mogensen},
  year = {1995},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/Mogensen95},
  cites = {0},
  citedby = {0},
  pages = {39-44},
  booktitle = {PEPM},
}

runs on WebDSL