Я могу назвать Филлипа Вадлера своего рода гением - он один из главных фигур в PLT (Programming Languages Theory), сильно повлиял на развитие современных языков. Та же его классическая работа по тайп классам, которые теперь есть в Haskell, Idris, Rust и других.