Inference Systems for Binding Time Analysis - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson. Inference Systems for Binding Time Analysis. In WSA. pages 247-254, 1992.

@inproceedings{SolbergNN92,
  title = {Inference Systems for Binding Time Analysis},
  author = {Kirsten Lackner Solberg and Hanne Riis Nielson and Flemming Nielson},
  year = {1992},
  tags = {analysis},
  researchr = {https://researchr.org/publication/SolbergNN92},
  cites = {0},
  citedby = {0},
  pages = {247-254},
  booktitle = {WSA},
}

runs on WebDSL