26 citations · 69 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2012★ 11 cited
Linearly Refined Session Types
Pedro Baltazar, Dimitris Mostrous, Vasco T. Vasconcelos
Session types capture precise protocol structure in concurrent programming, but do not specify properties of the exchanged values beyond their basic type. Refinement types are a fo…