21 citations · 101 across the 20 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…