Gerhard Gentzen
Gerhard Gentzen: Functionele programmeertalen zoals ML, Haskell, F#, Scala en Idris. Typesystemen die programmacorrectheid garanderen door constructie....
Gerhard Gentzen: Functionele programmeertalen zoals ML, Haskell, F#, Scala en Idris. Typesystemen die programmacorrectheid garanderen door constructie....