Naoya Furudono

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Computationally Expensive

Educational Systems

Top Venues

Publications

Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen
Towards Efficient Adjustment of Effect Rows. TFP (2022)
Youyou Cong, Naoya Furudono, Hidehiko Masuhara
On Teaching Type Systems as Macros (Lightning Talk). Scheme@ICFP (2020)