binding-time analysis, cross-stage persistence, delimited continuations, partial evaluation, shift and reset, staging, stepper.