Talks
- 2013-01-23 - Haskell-SP - Álgebra de Tipos slides video
- 2015-09-18 - REST Fest - The Cedilla Media Format slides video
- 2015-09-25 - Strange Loop Unsession - Building Better Substrates for Computing - Programming the 2030 Computer slides
- 2015-11-17 - Haskell-SP - Álgebra de Tipos slides
- 2015-11-17 - Haskell-SP - Por que Programação Funcional Importa slides
- 2016-01-25 - Haskell-SP - Combinadores Monádicos de Análise Sintática slides video
- 2019-10-15 - Haskell-SP - Um comparativo de Typeclasses e Módulos (em OCaml) slides