Вы здесь
O Hearn P. W.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Separation and Information Hiding | 2004 | O Hearn P. W., Yang H., Reynolds J. C. | POPL 2004 | 09.06.2004 | |||
| СТ | On Garbage and Program Logic | 2001 | Calcagno C., O Hearn P. W. | Lecture Notes in Computer Science | 05.05.2001 | |||
| СТ | Fully Abstract Translations and Parametric Polymorphism | 1994 | O Hearn P. W., Riecke J. G. | Lecture Notes in Computer Science | 13.05.1994 |