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


13 years 44 weeks