Zaslat SMS: Projection factorisations in partial evaluation / John Launchbury.