3 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Guilhem Jaber, Andrzej S. Murawski
We consider a hierarchy of four typed call-by-value languages with either higher-order or ground-type references and with either callcc or no control operator.Our first result is a…