On Teaching Type Systems as Macros (Lightning Talk).

Youyou Cong, Naoya Furudono, Hidehiko Masuhara

Browse the full ICFP paper archive.