Early detection of type errors in C++ templates.

Sheng Chen, Martin Erwig

Browse the full PEPM paper archive.