3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.PL2023★ 1 cited
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…
cs.PL2023★ 3 cited
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…
cs.LO2023
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…