Interpreters for experimenting with partial evaluation