Comparison
Online TDPE ? Cogen approach to online SDPE
Reification operator? Converter from HOAS to FOAS
Value destructors extended for residual code? HOAS constructors composed with PE
They are more similar in dynamically-typed languages (e.g. Scheme) than in statically-typed ones (e.g. ML) [Sumii & Kobayashi 99]