Type qualifiers as composable language extensions for code analysis and generation.

Travis Carlson and Eric Van Wyk. Journal of Computer Languages. 59, pp. 49-69. Elsevier, February 2019.

PDF

DOI: 10.1016/j.jvlc.2018.10.008