A Theory of Type Qualifiers. Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 192-203, Atlanta, Georgia, May 1999.

@INPROCEEDINGS{fosterpldi99,
  AUTHOR = {Jeffrey S. Foster and Manuel F{\"{a}}hndrich and
                  Alexander Aiken},
  TITLE = {{A Theory of Type Qualifiers}},
  BOOKTITLE = {Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design
                and Implementation},
  YEAR = 1999,
  ADDRESS = {Atlanta, Georgia},
  MONTH = MAY,
  PAGES = {192--203}
}

This file has been generated by bibtex2html 1.69

Web Accessibility