Вы здесь
Reynolds J. C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Local Reasoning about a Copying Garbage Collector | 2004 | Birkedal L., Torp-Smith N., Reynolds J. C. | POPL 2004 | 09.06.2004 | |||
| СТ | Separation and Information Hiding | 2004 | O Hearn P. W., Yang H., Reynolds J. C. | POPL 2004 | 09.06.2004 | |||
| М | Theories of Programming Languages | 1998 | Reynolds J. C. | 31.05.2000 | ||||
| СТ | Beyond ML | 1997 | Reynolds J. C. | SIGPLAN Notices | 15.04.1998 |