Login / Signup
Urara Yamada
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Static Analysis
Real Time
Top Venues
APLAS
</>
Publications
</>
Urara Yamada
,
Kenichi Asai
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS.
APLAS
(2018)