dblp.uni-trier.dewww.uni-trier.de

Jonathan Eifrig Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
5 Jonathan Eifrig, Scott F. Smith, Valery Trifonov: Sound Polymorphic Type Inference for Objects. OOPSLA 1995: 169-184
4EEJonathan 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

Coauthor Index

1Kim B. Bruce [2]
2Luca Cardelli [2]
3Giuseppe Castagna [2]
4Gary T. Leavens [2]
5Benjamin C. Pierce [2]
6Scott F. Smith [1] [2] [3] [4] [5]
7Valery Trifonov [1] [2] [3] [4] [5]
8Amy E. Zwarico [1] [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)