• Sign in
  • Sign up
conf.researchr.org / Akira Kawata
  • APLAS 2019 profile
  • APLAS 2020 profile
  • ICFP 2020 profile
No Photo

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
xThu 22 May 00:15
using conf.researchr.org (v1.69.0)
Support page
Sign Up