On Teaching Type Systems as Macros (Lightning Talk). - Youyou Cong; Naoya Furudono; Hidehiko Masuhara (Scheme@ICFP, 2020)

Towards Efficient Adjustment of Effect Rows. - Naoya Furudono; Youyou Cong; Hidehiko Masuhara; Daan Leijen (TFP, 2022)