0
I have heard that smlnj uses continuation passing style and that is one reason it has been dropped from the proof assistant Isabelle.
Makarius, the author of the answer above, also gave a detailed explanation of why CPS has bad performance properties.
At first approximation, there is a differenc...
