"Youyou Cong,Naoya Furudono,Hidehiko Masuhara","On Teaching Type Systems as Macros","The Scheme and Functional Programming Workshop (Scheme '20)",,,,,,2020,Aug.