Programs that write programs. These ones happen to be Standard ML programs.