An Approach to Compile-Time Type Checking - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Peter Henderson. An Approach to Compile-Time Type Checking. In IFIP Congress. pages 523-527, 1977.

@inproceedings{Henderson77,
  title = {An Approach to Compile-Time Type Checking},
  author = {Peter Henderson},
  year = {1977},
  tags = {type checking, compiler, systematic-approach},
  researchr = {https://researchr.org/publication/Henderson77},
  cites = {0},
  citedby = {0},
  pages = {523-527},
  booktitle = {IFIP Congress},
}

runs on WebDSL