Type qualifiers as composable language extensions for code analysis and generation

Travis Carlson, Eric {Van Wyk}. Type qualifiers as composable language extensions for code analysis and generation. Journal of Computer Languages, 50:49-69, 2019. [doi]

Abstract

Abstract is missing.