Rafael Castro

Sou graduando em Ciência da Computação. Interesso-me por linguagens de programação funcional e por assuntos relacionados a fundamentos da computação, em especial Teoria da Computação, Teoria dos Tipos e Teoria das Categorias.