Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Linear head reduction"'
Autor:
Alexis Saurin, Pierre-Marie Pédrot
Publikováno v:
Programming Languages and Systems ISBN: 9783662494974
ESOP
ESOP 2016
European Symposium on Programming
European Symposium on Programming, Apr 2016, Eindhoven, Netherlands
ESOP
ESOP 2016
European Symposium on Programming
European Symposium on Programming, Apr 2016, Eindhoven, Netherlands
Call-by-need calculi are complex to design and reason with. When adding control effects, the very notion of canonicity is irremediably lost, the resulting calculi being necessarily ad hoc. This calls for a design of call-by-need guided by logical rat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::125256c1eaffccbd475da54c41ebfe6a
https://doi.org/10.1007/978-3-662-49498-1_24
https://doi.org/10.1007/978-3-662-49498-1_24
Autor:
Laurent Regnier, Thomas Ehrhard
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, 2003, 309 (1-3), pp.1-41. ⟨10.1016/S0304-3975(03)00392-X⟩
Theoretical Computer Science, Elsevier, 2003, 309 (1-3), pp.1-41. ⟨10.1016/S0304-3975(03)00392-X⟩
Theoretical Computer Science, 2003, 309 (1-3), pp.1-41. ⟨10.1016/S0304-3975(03)00392-X⟩
Theoretical Computer Science, Elsevier, 2003, 309 (1-3), pp.1-41. ⟨10.1016/S0304-3975(03)00392-X⟩
41 pages; International audience; We present an extension of the lambda-calculus with differential constructions. We state and prove some basic results (confluence, strong normalization in the typed case), and also a theorem relating the usual Taylor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb64d932bd9701b8ef09b96c380f95a2
Publikováno v:
ICFP
It is well-known that many environment-based abstract machines can be seen as strategies in lambda calculi with explicit substitutions (ES). Recently, graphical syntaxes and linear logic led to the linear substitution calculus (LSC), a new approach t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ed52140efc3a516a0922332aba7a801
https://doi.org/10.1145/2628136.2628154
https://doi.org/10.1145/2628136.2628154
Autor:
Kesner, Delia, Ventura, Daniel
We define quantitative type systems for two intuitionistic term languages. While the first language in natural deduction style is already known in the literature, the second one is one of the contributions of the paper, and turns out to be a natural
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d047006a888299fcfe65ba2326c0e7c2
https://hal.archives-ouvertes.fr/hal-00980868/file/kesner-ventura-depot-hal-2014.pdf
https://hal.archives-ouvertes.fr/hal-00980868/file/kesner-ventura-depot-hal-2014.pdf
Autor:
Vincent Danos, Laurent Reginer
Publikováno v:
Danos, V & Regnier, L 1999, ' Reversible, Irreversible and Optimal lambda-Machines. ', Theoretical Computer Science, vol. 227, no. 1-2, pp. 79-97 . https://doi.org/10.1016/S0304-3975(99)00049-3
Lambda-calculus is the core of functional programming, and many different ways to evaluate lambda-terms have been considered. One of the nicest, from the theoretical point of view, is head linear reduction.We compare two ways of implementing that spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d5e355b99a0c51c7839f91e856f585df
https://doi.org/10.1016/s1571-0661(05)80402-5
https://doi.org/10.1016/s1571-0661(05)80402-5
Autor:
Ehrhard, Thomas, Regnier, Laurent
Publikováno v:
Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006
Second Conference on Computability in Europe, CiE 2006, Jun 2006, Swansea, United Kingdom. pp.186-197, ⟨10.1007/11780342_20⟩
Second Conference on Computability in Europe, CiE 2006
Second Conference on Computability in Europe, CiE 2006, Jun 2006, Swansea, United Kingdom. pp.186-197, ⟨10.1007/11780342_20⟩
12 pages; International audience; We introduce and study a version of Krivine's machine which provides a precise information about how much of its argument is needed for performing a computation. This information is expressed as a term of a resource
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a40ceb49612ec7ffd059c1d5367bc52f
https://hal.archives-ouvertes.fr/hal-00150273
https://hal.archives-ouvertes.fr/hal-00150273
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.
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.
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.
Kniha
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.