A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Arenas-Sanchez P.

Rodriguez-Artalejo M.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1997

Ключевые слова:

функциональный

логическое программирование

полиморфизм

алгебраический

Стр.:

P.53-67.

Библиография:

Bibliogr.: p.67

Место издания:

Издательство:

Источник:

Logic Programming

Карточка:

Б3.21, Б2.1.

Arenas-Sanchez P., Rodriguez-Artalejo M..

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types-Cambridge.: The MIT Press// Logic Programming, 1997.-P.53-67.
Bibliogr.: p.67

Таблица в старой библиотеке:

LOG1 504