default search action
BibTeX record 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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.