Computing ML Equality Kinds Using Abstract Interpretation - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen. Computing ML Equality Kinds Using Abstract Interpretation. Inf. Comput., 107(2):303-323, December 1993.

@article{GunterGM93,
  title = {Computing ML Equality Kinds Using Abstract Interpretation},
  author = {Carl A. Gunter and Elsa L. Gunter and David B. MacQueen},
  year = {1993},
  month = {December},
  researchr = {https://researchr.org/publication/GunterGM93},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {107},
  number = {2},
  pages = {303-323},
}

runs on WebDSL