Andreia Mordido

activity

20192025

most citedFreeST: Context-free Session Types in a Functional Language

9 citations · 29 across the 12 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2023

System $F_{ω}^{μ}$ with Context-free Session Types

Diana Costa, Andreia Mordido, Diogo Poças +1

We study increasingly expressive type systems, from $F^{μ}$ -- an extension of the polymorphic lambda calculus with equirecursive types -- to $F_{ω}^{μ;}$ -- the higher-order polymorph…

cs.LO2022★ 5 cited

Higher-order Context-free Session Types in System F

Diana Costa, Andreia Mordido, Diogo Poças +1

We present an extension of System F with higher-order context-free session types. The mixture of functional types with session types has proven to be a challenge for type equivalen…

System Fωμ​ with Context-free Session Types

Higher-order Context-free Session Types in System F

System $F_{ω}^{μ}$ with Context-free Session Types