Principal Typing in a forall-and-Discipline - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ines Margaria, Maddalena Zacchi. Principal Typing in a forall-and-Discipline. Journal of Logic and Computation, 5(3):367-381, 1995.

@article{MargariaZ95,
  title = {Principal Typing in a forall-and-Discipline},
  author = {Ines Margaria and Maddalena Zacchi},
  year = {1995},
  researchr = {https://researchr.org/publication/MargariaZ95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Computation},
  volume = {5},
  number = {3},
  pages = {367-381},
}

runs on WebDSL