A Dependently Typed Multi-stage Calculus. - Akira Kawata; Atsushi Igarashi (APLAS, 2019)

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)

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. - Yuki Nishida 001; Hiromasa Saito; Ran Chen; Akira Kawata; Jun Furuse; Kohei Suenaga; Atsushi Igarashi (New Gener. Comput., 2022)