 | Association for Computing Machinery. Southeast Regional Conference - 1982 - 284 էջ
...polymorphic type inference for ob1ects. In OOPSLA '95, 1995. |ESTZ94] J. Eifrig. S. Smith. V. Trifonoe. and A. Zwarico. Application of OOP type theory: State, decidability, integration. In OOPSLA '94, 1994. |FM94] Kathleen Fisher and John Mitchell Notes on typed ob1ect-oriented programming.... | |
 | Foto N. Afrati, Phokion Kolaitis - 1997 - 500 էջ
...Multimethods," ACM Trans, on Programming Languages and Systems, Vol. 17, No. 6, pp. 805-843, Nov. 1995. 7. J. Eifrig, S. Smith, V. Trifonov and A. Zwarico, "Application...OOP Type Theory: State, Decidability, Integration," Proc. OOPSLA'94, pp. 16-30, Oct. 1994. 8. G. Ghelli, "A Static Type System for Message Passing," Proc.... | |
| |
J. Eifrig, S. Smith, V. Trifonov, and A. Zwarico. Application of OOP type theory: State, decidability, integration. 