Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Natural rewriting"'
Autor:
Adrián Riesco, Juan Rodríguez-Hortalá
Publikováno v:
Electronic Notes in Theoretical Computer Science. 253(7):165-175
Recently, a new semantics for non-deterministic lazy functional(-logic) programming has been presented, in which the treatment of parameter passing was different to previous proposals like call-time choice (CRWL) and run-time choice (term rewriting).
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.