BibTeX record conf/oopsla/EifrigSTZ94

• > Home > conf/oopsla/EifrigSTZ94

@inproceedings{DBLP:conf/oopsla/EifrigSTZ94,
  author       = {Jonathan Eifrig and
                  Scott F. Smith and
                  Valery Trifonov and
                  Amy E. Zwarico},
  editor       = {Jeff McKenna and
                  J. Eliot B. Moss and
                  Richard L. Wexelblat},
  title        = {Application of {OOP} Type Theory: State, Decidability, Integragtion},
  booktitle    = {Proceedings of the Ninth Annual Conference on Object-Oriented Programming
                  Systems, Languages, and Applications, {OOPSLA} 1994, Portland, Oregon,
                  USA, October 23-27, 1994},
  pages        = {16--30},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/191080.191086},
  doi          = {10.1145/191080.191086},
  timestamp    = {Wed, 30 Mar 2022 13:55:40 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/EifrigSTZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}