3 ms·
It's not surprising though, since usefully typing control effects with delimited continuations would require at least answer type polymorphism, but even more us
by brandonbloom 9y ago
It's not surprising though, since usefully typing control effects with delimited continuations would require at least answer type polymorphism, but even more usefully something like session types.