Gerhard Gentzen

Gerhard Gentzen: Functional programming languages such as ML, Haskell, F#, Scala, and Idris. Type systems that guarantee program correctness by...