Type qualifiers as composable language extensions.

Travis Carlson, Eric Van Wyk

Browse the full GPCE paper archive.