Generic Data Mining: Ensuring Pattern Discovery Type Safety in a Global Context | MLOG | MLOG