4 citations · 10 across the 6 of their papers we have counts for
1 paper · 1 filter
Jules Hedges
A computation in the continuation monad returns a final result given a continuation, ie. it is a function with type (X→R)→R. If we instead return the intermediate result…