Transformational Programming - Applications to Algorithms and Systems.

Robert Paige

Browse the full POPL paper archive.