Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Das, Ankush"'
We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this setting, we describe a notion of parametricity for type constructors and the
Externí odkaz:
http://arxiv.org/abs/2307.13661
Polarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined computations (classified by negative types), with adjoint modalities medi
Externí odkaz:
http://arxiv.org/abs/2201.10998
The importance of subtyping to enable a wider range of well-typed programs is undeniable. However, the interaction between subtyping, recursion, and polymorphism is not completely understood yet. In this work, we explore subtyping in a system of nest
Externí odkaz:
http://arxiv.org/abs/2103.15193
Autor:
Das, Ankush, Pfenning, Frank
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (January 12, 2022) lmcs:7024
Traditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere to the protocols. However, simple session types cannot capture properties beyond the basic type
Externí odkaz:
http://arxiv.org/abs/2012.13129
Session types guarantee that message-passing processes adhere to predefined communication protocols. Prior work on session types has focused on deterministic languages but many message-passing systems, such as Markov chains and randomized distributed
Externí odkaz:
http://arxiv.org/abs/2011.09037
Session types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is not fully understood in the context of session types. In this paper,
Externí odkaz:
http://arxiv.org/abs/2010.06482
Autor:
Das, Ankush, Pfenning, Frank
Session types statically prescribe bidirectional communication protocols for message-passing processes. However, simple session types cannot specify properties beyond the type of exchanged messages. In this paper we extend the type system by using in
Externí odkaz:
http://arxiv.org/abs/2005.05970
Autor:
Das, Ankush, Pfenning, Frank
Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions. However, simple session types cannot specify properties beyond the type of
Externí odkaz:
http://arxiv.org/abs/2001.04439
Programming digital contracts comes with unique challenges, which include (i) expressing and enforcing protocols of interaction, (ii) controlling resource usage, and (iii) preventing the duplication or deletion of a contract's assets. This article pr
Externí odkaz:
http://arxiv.org/abs/1902.06056
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.