Semantic type qualifiers
Staking claims: a history of programming language design claims and evidence
Evaluation and Usability of Programming Languages and Tools on - PLATEAU ’10
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI ’05
Todd Millstein
Brian Chin
An Empirical Comparison of the Accuracy Rates of Novices Using the Quorum, Perl, and Randomo Programming Languages
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods