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