Frank Atanassow

Personal information


The Netherlands

male

http://www.cwi.nl/~atanasso

programming language theory, functional programming, Haskell, type theory, category theory, foundations of computation, combinatorial species

History


4 years 4 weeks