Personal information

Activities

Employment (1)

University of Tsukuba: Tsukuba, Ibaraki, JP

2001-04-01 to present | Professor (Faculty of Engineering, Information and Systems)
Employment
Source: check_circle
University of Tsukuba

Works (4)

Type-Safe Code Generation with Algebraic Effects and Handlers

2024-10-21 | Conference paper
Contributors: Kanaru Isoda; Ayato Yokoyama; Yukiyoshi Kameyama
Source: check_circle
Crossref

Program generation meets program verification: A case study on number-theoretic transform

Science of Computer Programming
2024-01 | Journal article
Contributors: Masahiro Masuda; Yukiyoshi Kameyama
Source: check_circle
Crossref

Type-safe generation of modules in applicative and generative styles

2021-10-17 | Conference paper
Contributors: Yuhi Sato; Yukiyoshi Kameyama
Source: check_circle
Crossref

Reorganizing queries with grouping

2020-11-16 | Conference paper
Contributors: Rui Okura; Yukiyoshi Kameyama
Source: check_circle
Crossref