[tome]

That would be great! I'm currently reading "Bridging the gulf: a common intermediate language for ML and Haskell" (Peyton Jones, Shields, Launchbury, Tolmach) which was one of Paul Levy's references for CBPV and it seems likely it was a main inspiration.

[tel]

I usually think of Filinski's Declarative Continuations and Categorical Duality... but it's such a dense paper I can't recommend it offhand.