Ironclad C++: A Library-Augmented Type-Safe Subset of C++ (OOPSLA 2013)

I also found a GitHub repo: https://github.com/crdelozier/ironclad/