Jul 15, 2022 · Nested session types extend binary session types with parameterized type definitions. This extension enables us to express polymorphic data ...

Oct 13, 2020 · In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes.

In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes. Remarkably, we prove ...

In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes.

Mar 28, 2021 · In this work, we explore subtyping in a system of nested, recursive, and polymorphic types with a coinductive interpretation, and we prove that ...

Abstract. We propose an improvement to session-types, introducing nested protocols, the possibility to call a subprotocol from a parent protocol.

The main motivation for studying nested types is quite practical and generally applicable to programming languages with structural type systems. We start by ...

This article presents the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes and proves that type ...

In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes. Remarkably, we prove ...

We propose an improvement to session-types, introducing nested protocols, the possibility to call a subprotocol from a parent protocol.