User loginNavigation |
Frank AtanassowPersonal informationThe Netherlands programming language theory, functional programming, Haskell, type theory, category theory, foundations of computation, combinatorial species History4 years 4 weeks |
Browse archivesActive forum topics |