Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Type assignment systems"'
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.
Autor:
Ugo de'Liguoro, Riccardo Treglia
We study a Curry style type assignment system for untyped λ-calculi with effects, based on Moggi's monadic approach. Moving from the abstract definition of monads, we introduce a version of the call-by-value computational λ-calculus based on Wadler
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c9df8818544950366fc30a9d11db571
http://hdl.handle.net/2318/1759632
http://hdl.handle.net/2318/1759632
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:
MFPS
Type assignment systems for λ-calculus based on intersection types are a general framework for building models of λ-calculus (known as filter-models) which are useful tools for reasoning in a finitary way about the denotational interpretation of te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c4b57eee5fabdf5d3b099f05b0118d8
https://doi.org/10.1016/j.entcs.2009.07.101
https://doi.org/10.1016/j.entcs.2009.07.101
Autor:
De Benedetti, Erika
La complexité implicite (ICC) vise à donner des caractérisations de classes de complexité dans des langages de programmation ou des logiques, sans faire référence à des bornes sur les ressources (temps, espace mémoire). Dans cette thèse, nou
Externí odkaz:
http://www.theses.fr/2015ENSL0981/document
Autor:
de Benedetti, Erika
Publikováno v:
Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON; Universita degli studi (Turin, Italie), 2015. English. ⟨NNT : 2015ENSL0981⟩
Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON; Università degli studi (Torino, Italia), 2015. English. ⟨NNT : 2015ENSL0981⟩
Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON; Università degli studi (Torino, Italia), 2015. English. ⟨NNT : 2015ENSL0981⟩
In this thesis we explore the linear logic approach to implicit computational complexity, through the design of type assignment systems based on light linear logic, or heavily inspired by them, with the purpose of giving a characterization of one or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c3fff6eb119522cbb2a9e830461de263
https://theses.hal.science/tel-01123737/document
https://theses.hal.science/tel-01123737/document
Autor:
Di Gianantonio, Pietro, Lenisa, Marina
The aim of this work is to correlate two different approaches to the semantics of programming languages: game semantics and intersection type assignment systems (ITAS). Namely, we present an ITAS that provides the description of the semantic interpre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69158ffc9ffaf2165b4f5e93e9456009
http://hdl.handle.net/11390/1040561
http://hdl.handle.net/11390/1040561
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.