Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Akira Kawata
conf.researchr.org general profile
APLAS 2019 profile
APLAS 2020 profile
ICFP 2020 profile
Registered user since Fri 6 Dec 2019
Name:
Akira Kawata
Affiliation:
Kyoto University
Contributions
APLAS 2020
Author of Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types within the Posters-track
HIW 2020
Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track
APLAS 2019
Author of A Dependently Typed Multi-Stage Calculus within the Research Papers-track
Share
x
Thu 1 Jun 05:22