Related Work
[Helsen & Thiemann 98]
Pointed out similarity between offline TDPE and cogen approach to offline SDPE
(C.f.ĦĦOur PE is online.)
[Sheard 97]
Extended Danvy's TDPE in various but ad hoc ways such as lazy reflection, type passing, etc.
(C.f.ĦĦOur TDPE is more simple, efficient, and powerful.)