cps & contification

Henry Cejtin henry@sourcelight.com
Wed, 24 Jan 2001 17:35:42 -0600


It  seems  to me (from a position of almost complete ignorance) that it would
be rather easy to change things now so that you can have  mutually  recursive
continuations.   Is  their lack the reason for the dominator calculation?  If
so then this would seem to be a really strong argument for going for mutually
recursive  continuations.  If not then what is the dominator calculation for?