Вы здесь
Hutton G.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Compiling Exceptions Correctly | 2004 | Hutton G., Wright J. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 03.09.2004 | ||
СТ | Fold and Unfold for Program Semantics | 1999 | Hutton G. | SIGPLAN Notices | 23.08.1999 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Mathematics of Program Construction: Proc./13th International Conference, MPC 2019, Porto, Portugal, October 2019 | 2019 | Lecture Notes in Computer Science |
|
22.11.2019 |