[hofa] Pushdown Flow Analysis of First-Class Control

[Olivier Danvy]

So.  How do we get to brown coats from here,
and from there, to "Our Mr. Reynolds"?

-- Olivier [referring to "Firefly"]