Greiner, S. Run-Time Manipulation of Programs in a Statically-Typed Language. IJCAI 33.