Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Language Constructs for Non-Well-Founded Computation

Autor: Jeannin, J.-B., Kozen, D.C., Silva, A., Felleisen, M., Gardner, P.

Publikováno v: Felleisen, M.; Gardner, P. (ed.), Programming Languages and Systems, pp. 61-80
Programming Languages and Systems ISBN: 9783642370359
ESOP
Lecture Notes in Computer Science ; 7792, 61-80. Berlin : Springer
STARTPAGE=61;ENDPAGE=80;TITLE=Lecture Notes in Computer Science ; 7792

Recursive functions defined on a coalgebraic datatype C may not converge if there are cycles in the input, that is, if the input object is not well-founded. Even so, there is often a useful solution. Unfortunately, current functional programming lang

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8738ca3e81ba978da5173bf4ceb9861a
https://hdl.handle.net/2066/117075

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.