Rafael S. Calsaverini
About
Experience
Education
Blog
Skills
Publications
Content tagged with
Type safety
A few frustrations with Python's type annotation system
Type safe records as an excuse to learn type level programming in Haskell