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


19 years 39 weeks