3 ms·
Hmm, really? I just read a couple of papers linked from his website, but I'm still not feeling enlightened.
by tome 12y ago
Hmm, really? I just read a couple of papers linked from his website, but I'm still not feeling enlightened.
- dllthomas 12y agoI would also appreciate a clear introduction.
- tel 12y agoI may write a blog post. Hm.
- tome 12y agoThat 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 12y agoI usually think of Filinski's Declarative Continuations and Categorical Duality... but it's such a dense paper I can't recommend it offhand.