Expansion Postponement for Normalising Pure Type Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Erik Poll. Expansion Postponement for Normalising Pure Type Systems. Journal of Functional Programming, 8(1):89-96, 1998.

@article{Poll98,
  title = {Expansion Postponement for Normalising Pure Type Systems},
  author = {Erik Poll},
  year = {1998},
  tags = {type system},
  researchr = {https://researchr.org/publication/Poll98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {1},
  pages = {89-96},
}

runs on WebDSL