Akira Kawata

According to our database, Akira Kawata authored at least 3 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.

Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi

New Gener. Comput., 2022

Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell.

Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa

New Gener. Comput., 2022

2019

A Dependently Typed Multi-stage Calculus.

Akira Kawata, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019