3 ms·Ironclad C++: A Library-Augmented Type-Safe Subset of C++ (OOPSLA 2013)2 points by ahomescu1 13y agoahomescu1 13y agoI also found a GitHub repo: https://github.com/crdelozier/ironclad/ https://github.com/crdelozier/ironclad/