9 citations · 29 across the 12 of their papers we have counts for
5 papers · 1 filter
Parametric Subtyping for Structural Parametric Polymorphism
Henry DeYoung, Andreia Mordido, Frank Pfenning +1
We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this settin…
Subtyping Context-Free Session Types
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
Context-free session types describe structured patterns of communication on heterogeneously-typed channels, allowing the specification of protocols unconstrained by tail recursion.…
Kind Inference for the FreeST Programming Language
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
We present a kind inference algorithm for the FREEST programming language. The input to the algorithm is FREEST source code with (possibly part of) kind annotations replaced by kin…
Parameterized Algebraic Protocols
Andreia Mordido, Janek Spaderna, Peter Thiemann +1
We propose algebraic protocols that enable the definition of protocol templates and session types analogous to the definition of domain-specific types with algebraic datatypes. Par…
System with Context-free Session Types
Diana Costa, Andreia Mordido, Diogo Poças +1
We study increasingly expressive type systems, from -- an extension of the polymorphic lambda calculus with equirecursive types -- to -- the higher-order polymorph…