Zero-Knowledge Proofs of Connectivity for Labeled Directed Graphs Using Bilinear-Map Accumulator. - Takuma Yoshioka; Toru Nakanishi 001; Teruaki Kitasuka (candar, 2023)

Abstracting Effect Systems for Algebraic Effect Handlers. - Takuma Yoshioka; Taro Sekiyama; Atsushi Igarashi (Proc. ACM Program. Lang., 2024)