23/6 - Tipos do Céu ao Chão (Daniel Hashimoto, BCC/UFRJ)

Quinta, 23/6 às 15h, na sala DLC do IC/UFRJ

Essa é uma apresentação que mostra um pouquinho de como os tipos funcionam em matemática, e como eles aparecem (ou não) no seu executável. Sabendo ou não muito sobre programação e/ou matemática, espero que saia com algum conhecimento novo!

Eu sou Daniel Kiyoshi Hashimoto Vouzella de Andrade, mas geralmente as pessoas me chamam de Hashi(moto). Faço Bacharelado em Ciência da Computação.