• Sign in
  • Sign up
conf.researchr.org / Kazuyuki Asada
  • 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
xThu 19 Jun 17:37
using conf.researchr.org (v1.69.0)
Support page
Sign Up