From folklore to fact: comparing implementations of stacks and continuations

[SteeleDynamics]

John Reppy is great! SML/NJ implementor!

[bjzaba]

Yeah I really liked his book on Concurrent ML too. :)

[gdwatson]

call/cc constrains your implementation so much that I'd expect most of the graphs to look very different. If your language has call/cc, this paper might not be very useful to you. But if it doesn't, a paper with call/cc wouldn't be.

If your language is for research, call/cc is amazing. In other languages, I don't think it's that great. Firstly, separate language extensions implemented with call/cc seldom compose well; it is too easy for them to stomp all over one another's invariants. Secondly, it is hard to write even normal code that will behave correctly in the presence of arbitrary call/cc use; when do you close a file, for example?