Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kazuyuki Asada
conf.researchr.org general profile
PEPM 2015 profile
POPL 2017 profile
Not registered as user
Name:
Kazuyuki Asada
Affiliation:
University of Tokyo
Contributions
2017
PEPM
Author of A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction within the PEPM 2017-track
2015
PEPM
Author of Verifying Relational Properties of Functional Programs by First-Order Refinement within the PEPM 2015-track
Share
x
Sun 22 Dec 02:21