5 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
Janis Voigtländer
Free theorems are a popular tool in reasoning about parametrically polymorphic code. They are also of instructive use in teaching. Their derivation, though, can be tedious, as it i…