Concepedia

Jonathan Eifrig

JE

Statistics

Publications

5

Citations

261

H-Index

5

Active since

1994

Affiliations

Johns Hopkins University(Current)

Jonathan Eifrig is an author at Johns Hopkins University specializing in computing, programming languages, and computer science.

Publications per year

1994–1995

5

Publications

5

Sound polymorphic type inference for objects

Jonathan Eifrig, Scott F. Smith, Valery Trifonov · 1995 · 105 citations · Full text

Computing, Computer Science, Algorithms +16

Type Inference for Recursively Constrained Types and its Application to OOP

Jonathan Eifrig, Scott F. Smith, Valery Trifonov · Electronic Notes in Theoretical Computer Science · 1995 · 92 citations · Full text

Computing, Computer Science, Algorithms +14

An interpretation of typed OOP in a language with state

Jonathan Eifrig, Scott F. Smith, Valery Trifonov et al. · LISP and Symbolic Computation · 1995 · 31 citations

Computing, Computer Science, Programming Languages +11

Application of OOP type theory

Jonathan Eifrig, Scott F. Smith, Valery Trifonov et al. · 1994 · 19 citations

Computing, Computer Science, Formal Methods +16

Sound polymorphic type inference for objects

Jonathan Eifrig, Scott F. Smith, Valery Trifonov · ACM SIGPLAN Notices · 1995 · 14 citations · Full text

Computing, Computer Science, Algorithms +16

1–5 of 5