[tel]

I would love to see a "practical" CBPV language.

[tome]

Likewise, mostly because it would probably help me understand what CBPV actually is!

[tel]

It's remarkably easy to understand if you're already used to monads. Levy's thesis is a bit opaque from that POV, but not unpleasant to read.

[tome]

Hmm, really? I just read a couple of papers linked from his website, but I'm still not feeling enlightened.

[tel]

I may write a blog post. Hm.

[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.

[dllthomas]

I would also appreciate a clear introduction.