Semantic type qualifiers (2005)

by Brian Chin, Shane Markstrum, Todd Millstein
Venue:In Proceedings of the 2005 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 05