Correctness of a Higher-Order Removal Transformation through a Relational Reasoning.

Susumu Nishimura

Browse the full APLAS paper archive.