Funqual: user-defined statically-checked call graph constraints in C++ - Andrew Nelson [CppCon 2018] | CppCon | Podwise