Semantic type qualifiers
A generic type-and-effect system
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI ’05
Proceedings of the 4th international workshop on Types in language design and implementation - TLDI ’09
Shane Markstrum
Brian Chin
Daniel Marino
Gentrification Gone Too Far? Affordable 2Nd-class Values for Fun and (Co-)Effect
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods