Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. - Urara Yamada; Kenichi Asai (APLAS, 2018)