Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Peyrot, Loïc"'
Autor:
Castagna, Giuseppe, Peyrot, Loïc
We define and study "row polymorphism" for a type system with set-theoretic types, specifically union, intersection, and negation types. We consider record types that embed row variables and define a subtyping relation by interpreting types into sets
Externí odkaz:
http://arxiv.org/abs/2404.00338
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 1 (January 23, 2024) lmcs:9803
We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-by-need, that are shown to be observationally equivalent by using type
Externí odkaz:
http://arxiv.org/abs/2207.07143
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 3 (July 29, 2024) lmcs:10901
We introduce a call-by-name lambda-calculus $\lambda Jn$ with generalized applications which is equipped with distant reduction. This allows to unblock $\beta$-redexes without resorting to the standard permutative conversions of generalized applicati
Externí odkaz:
http://arxiv.org/abs/2201.04156
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 3, p10:1-10:50, 50p
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.
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.
Publikováno v:
Foundations of Software Science and Computation Structures
We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-by-need, that are shown to be observationally equivalent by using type
Autor:
Kesner, Delia, Peyrot, Loïc
Solvability is a key notion in the theory of call-by-name lambda-calculus, used in particular to identify meaningful terms. However, adapting this notion to other call-by-name calculi, or extending it to different models of computation - such as call
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77a668d082b7de8bf3f976623c18fe41