Analysing Resource Use in the Lambda Calculus by Type Inference - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Simon Courtenage, Chris D. Clack. Analysing Resource Use in the Lambda Calculus by Type Inference. In PEPM. pages 33-41, 1994.

@inproceedings{CourtenageC94,
  title = {Analysing Resource Use in the Lambda Calculus by Type Inference},
  author = {Simon Courtenage and Chris D. Clack},
  year = {1994},
  tags = {type inference},
  researchr = {https://researchr.org/publication/CourtenageC94},
  cites = {0},
  citedby = {0},
  pages = {33-41},
  booktitle = {PEPM},
}

runs on WebDSL