Experience report
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
Attribute grammars fly first-class