5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…