Application of OOP Type Theory: State, Decidability, Integragtion. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Amy E. Zwarico (OOPSLA, 1994)

Sound Polymorphic Type Inference for Objects. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov (OOPSLA, 1995)

Type inference for recursively constrained types and its application to OOP. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov (MFPS, 1995)

An Interpretation of Typed OOP in a Language with State. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Amy E. Zwarico (LISP Symb. Comput., 1995)

On Binary Methods. - Kim B. Bruce; Luca Cardelli; Giuseppe Castagna; Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Gary T. Leavens; Benjamin C. Pierce (Theory Pract. Object Syst., 1995)