PostDoc at TUDelft on DOT & Scala — λ calculus/Haskell/Coq/Agda— geek & rationalist