Type-safe callback system for C++ programs
