Jonathan Eifrig

According to our database, Jonathan Eifrig authored at least 5 papers between 1994 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

On Binary Methods.

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce

Theory Pract. Object Syst., 1995

An Interpretation of Typed OOP in a Language with State.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

LISP Symb. Comput., 1995

Type inference for recursively constrained types and its application to OOP.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Sound Polymorphic Type Inference for Objects.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1994

Application of OOP Type Theory: State, Decidability, Integragtion.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994