Youyou Cong, Naoya Furudono, Hidehiko Masuhara. On Teaching Type Systems as Macros (Lightning Talk). In Baptiste Saleil, Michael D. Adams 0001, editors, Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020. pages 77, University of Michigan, 2020.
Abstract is missing.