Type systems as macros. - Stephen Chang 001; Alex Knauth; Ben Greenman (POPL, 2017)

Symbolic types for lenient symbolic execution. - Stephen Chang 001; Alex Knauth; Emina Torlak (Proc. ACM Program. Lang., 2018)

Rhombus: A New Spin on Macros without All the Parentheses. - Matthew Flatt; Taylor Allred; Nia Angle; Stephen De Gabrielle; Robert Bruce Findler; Jack Firth; Kiran Gopinathan; Ben Greenman; Siddhartha Kasivajhula; Alex Knauth; Jay A. McCarthy; Sam Phillips; et al. (Proc. ACM Program. Lang., 2023)