Frank Atanassow

Personal information


The Netherlands

male

I'm that annoying "isomorphism guy".


programming language theory, functional programming, Haskell, type theory, category theory, foundations of computation, combinatorial species

History


10 years 5 weeks