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 five.

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

2021

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2019

A Dependently Typed Multi-stage Calculus.

Akira Kawata, Atsushi Igarashi

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