Luca Cardelli Alive
Worked on Modula-3, designed Obliq, and formalized the type theory of objects — the math under every OO language.
1960198020002020
Created Modula-3
Luca Cardelli — the type theorist behind Modula-3's design, the polyadic pi-calculus, and 'Type Systems' (the handbook chapter everyone cites).\n\nDEC SRC/Microsoft Research; 'A Theory of Objects' (with Abadi) is the OO type-theory book.