Akira Kawata | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Kohei Suenaga
19 publications
Atsushi Igarashi
14 publications
Ran Chen
10 publications
Yuki Nishida
3 publications
Jun Furuse
2 publications
Atushi Igarashi
1 publication
Hiromasa Saito
1 publication

research

∙ 08/30/2021

HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types

A smart contract is a program executed on a blockchain, based on which m...

0 Yuki Nishida, et al. ∙

research

∙ 08/06/2019

A Dependently Typed Multi-Stage Calculus

We study a dependently typed extension of a multi-stage programming lang...

0 Akira Kawata, et al. ∙

Success!

An error occurred