4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…