Diana Costa

collaborators

2 papers

cs.PL2024

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Diana Costa, Raymond Hu

This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLAC…

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…

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

System Fωμ​ with Context-free Session Types

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