Haskell, 范畴论, λ, Distributed Systems, Formal Methods

Poland
Based in Poland