Akira Kawata -

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