Вы здесь
Bevers E.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Proving Termination of (Conditional) Rewrite Systems | 1993 | Bevers E., Lewi J. | Acta Informatica | 25.11.1993 | |||
СТ | Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem | 1991 | Niel A., Bevers E., Vlaminck K. | BIGRE | 11.12.1991 | |||
СТ | Program Bifurcation for a Polymorphically Typed Functional Language | 1991 | De Niel A., Bevers E., De Vlaminck K. | SIGPLAN Notices | 26.10.1991 |