A Simple Algorithm and Proof for Type Inference - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mitchell Wand. A Simple Algorithm and Proof for Type Inference. Fundamenta Infomaticae, 10:115-122, 1987.

@article{Wand87a,
  title = {A Simple Algorithm and Proof for Type Inference},
  author = {Mitchell Wand},
  year = {1987},
  url = {ftp://ftp.ccs.neu.edu/pub/people/wand/papers/fundamenta-87.dvi},
  researchr = {https://researchr.org/publication/Wand87a},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Infomaticae},
  volume = {10},
  pages = {115-122},
}

runs on WebDSL