Вы здесь
Eifrig J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Sound Polymorphic Type Inference for Objects | 1995 | Eifrig J., Smith S., Trifonov V. | SIGPLANE Notices | 26.12.1995 | |||
СТ | Application of OOP Type Theory: State, Decidability, Integration | 1994 | Eifrig J., Smith S., Trifonov V., Zwarico A. | SIGPLAN Notices | 22.12.1994 |