Personal information

No personal information available

Activities

Works (2)

Algebraic Stepper for Simple Modules

2025-01-10 | Conference paper
Contributors: Kenichi Asai; Hinano Akiyama
Source: check_circle
Crossref

Understanding Algebraic Effect Handlers via Delimited Control Operators

2022 | Book chapter
Contributors: Youyou Cong; Kenichi Asai
Source: check_circle
Crossref