Principal Type Schemes for an Extended Type Theory - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Simona Ronchi Della Rocca, Betti Venneri. Principal Type Schemes for an Extended Type Theory. Theoretical Computer Science, 28:151-169, 1984.

@article{RoccaV84,
  title = {Principal Type Schemes for an Extended Type Theory},
  author = {Simona Ronchi Della Rocca and Betti Venneri},
  year = {1984},
  tags = {type theory},
  researchr = {https://researchr.org/publication/RoccaV84},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {28},
  pages = {151-169},
}

runs on WebDSL