gfnweb
A Research Talk at FLOPS 2024: An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programs
情報科学若手の会 2023 招待講演: 実用水準のプログラミング言語を個人規模でつくる
PPL 2022 招待講演: 静的型つき函数型組版処理システムSATySFiの紹介