Home » user account

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


21 years 26 weeks