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
2020
APLAS
Author of Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types within the Posters-track
HIW
Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track
2019
APLAS
Author of A Dependently Typed Multi-Stage Calculus within the Research Papers-track
Share
x
Thu 21 Nov 17:45