User loginNavigation |
Frank AtanassowPersonal informationThe Netherlands I'm that annoying "isomorphism guy". programming language theory, functional programming, Haskell, type theory, category theory, foundations of computation, combinatorial species History7 years 48 weeks |
Browse archivesActive forum topics |