Where macros meet types & contracts

This is 傅(Fù) 宇(Yǔ) 泉(Quán) . In English-speaking environments, I go by Fred

I am a Ph.D. student at Indiana University Bloomington, working on Typed Racket under the direction of Dr. Sam Tobin-Hochstadt