| 1995 |
|---|
| 5 | | Jonathan Eifrig,
Scott F. Smith,
Valery Trifonov:
Sound Polymorphic Type Inference for Objects.
OOPSLA 1995: 169-184 |
| 4 | EE | Jonathan Eifrig,
Scott F. Smith,
Valery Trifonov:
Type inference for recursively constrained types and its application to OOP.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 3 | | Jonathan Eifrig,
Scott F. Smith,
Valery Trifonov,
Amy E. Zwarico:
An Interpretation of Typed OOP in a Language with State.
Lisp and Symbolic Computation 8(4): 357-397 (1995) |
| 2 | | Kim B. Bruce,
Luca Cardelli,
Giuseppe Castagna,
Jonathan Eifrig,
Scott F. Smith,
Valery Trifonov,
Gary T. Leavens,
Benjamin C. Pierce:
On Binary Methods.
TAPOS 1(3): 221-242 (1995) |
| 1994 |
|---|
| 1 | | Jonathan Eifrig,
Scott F. Smith,
Valery Trifonov,
Amy E. Zwarico:
Application of OOP Type Theory: State, Decidability, Integragtion.
OOPSLA 1994: 16-30 |
