Type-safe callback system for C++ programs (v2)
