Run-Time Manipulation of Programs in a Statically-Typed Language. IJCAI 33 (3).