Philip Wadler Информатик. Ввёл в Java дженерики. "Propositions as Types" by Philip Wadler: https://youtube.com/watch?v=IOiZatlZtGU