Rafael S. Calsaverini
About
Experience
Education
Blog
Skills
Publications
Content tagged with
Type-level programming
Type safe records as an excuse to learn type level programming in Haskell