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