Rafael S. Calsaverini
About
Experience
Education
Blog
Skills
Publications
Chord transformations
Music Theory
Negative Harmony
Deep Learning
Machine Learning
Neural Networks
Symbolic Optimization
Set Theory (Music)
Mypy
Python
Type safety
Haskell
Records
Type-level programming
Category Theory
Free Monads
Free Vector Space
Monads
Operational Monads
Monad Transformers
Probability Monad
Stochastic Processes