7 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Georg Stefan Schmid, Olivier Blanvillain, Jad Hamza +1
Type-level programming is an increasingly popular way to obtain additional type safety. Unfortunately, it remains a second-class citizen in the majority of industrially-used progra…