Rafael S. Calsaverini
About
Experience
Education
Blog
Skills
Publications
Content tagged with
programming
A few frustrations with Python's type annotation system
Type safe records as an excuse to learn type level programming in Haskell
Operational Semantics for Monads
Stochastic Processes as Monad Transformers