Вы здесь
Segura C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Sized Types for Typing Eden Skeletons | 2002 | Pena R., Segura C. | Lecture Notes in Computer Science | 18.05.2002 | |||
| СТ | A Polynomial-Cost Non-determinism Analysis | 2002 | Pena R., Segura C. | Lecture Notes in Computer Science | 18.05.2002 | |||
| СТ | Adding Traces to a Lazy Monadic Evaluator | 2001 | Pareja C., Pena R., Rubio F., Segura C. | Lecture Notes in Computer Science | 19.01.2002 | |||
| СТ | Non-determination Analysis in a Parallel-Functional Language | 2001 | Pena R., Segura C. | Lecture Notes in Computer Science | 23.05.2001 |