Skip to content

Jonathan Eifrig

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

1

Active years

1994–1995

Best venue rank

A

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
1995OOPSLASound Polymorphic Type Inference for Objects.Jonathan Eifrig, Scott F. Smith, Valery Trifonov
1994OOPSLAApplication of OOP Type Theory: State, Decidability, Integragtion.Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico