Using Abstract Interpretation to Define a Strictness Type Inference System - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Bruno Monsuez. Using Abstract Interpretation to Define a Strictness Type Inference System. In PEPM. pages 122-133, 1995.

@inproceedings{Monsuez95:0,
  title = {Using Abstract Interpretation to Define a Strictness Type Inference System},
  author = {Bruno Monsuez},
  year = {1995},
  tags = {type inference, type system},
  researchr = {https://researchr.org/publication/Monsuez95%3A0},
  cites = {0},
  citedby = {0},
  pages = {122-133},
  booktitle = {PEPM},
}

runs on WebDSL