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