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


11 years 10 weeks