Jonathan Eifrig

Publication Activity (10 Years)

Years Active: 1994-1995
Publications (10 Years): 0

Publications

Jonathan Eifrig, Scott F. Smith, Valery Trifonov
Type inference for recursively constrained types and its application to OOP. MFPS (1995)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
Sound Polymorphic Type Inference for Objects. OOPSLA (1995)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
An Interpretation of Typed OOP in a Language with State. LISP Symb. Comput. 8 (4) (1995)
Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
On Binary Methods. Theory Pract. Object Syst. 1 (3) (1995)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
Application of OOP Type Theory: State, Decidability, Integragtion. OOPSLA (1994)