Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS.

Urara Yamada, Kenichi Asai

Browse the full APLAS paper archive.