Akira Kawata

Identifiers

• name variant Akira Kawata 0.60 · backfill

Papers (2)

1. HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types cs.PL · 2021 · author #4
2. A Dependently Typed Multi-Stage Calculus cs.PL · 2019 · author #1

Mentions

• 2108.12971 #4 · arxiv_oai · confidence 0.70 Akira Kawata
• 1908.02035 #1 · arxiv_oai · confidence 0.70 Akira Kawata

Frequent Coauthors

• Atsushi Igarashi 2 shared papers
• Hiromasa Saito 1 shared papers
• Jun Furuse 1 shared papers
• Kohei Suenaga 1 shared papers
• Ran Chen 1 shared papers
• Yuki Nishida 1 shared papers