Type Reconstruction in F::omega:: - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Pawel Urzyczyn. Type Reconstruction in F::omega::. Mathematical Structures in Computer Science, 7(4):329-358, 1997.

@article{Urzyczyn97:0,
  title = {Type Reconstruction in F::omega::},
  author = {Pawel Urzyczyn},
  year = {1997},
  researchr = {https://researchr.org/publication/Urzyczyn97%3A0},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {7},
  number = {4},
  pages = {329-358},
}

runs on WebDSL