5 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
Daniel Seidel, Janis Voigtländer
"Theorems for Free!" (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have…