Type Qualifiers as Composable Language Extensions.

Travis Carlson and Eric Van Wyk

In Proceedings of 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE '17) ACM, 13 pages.

PDF