4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.PL2019
Free Theorems Simply, via Dinaturality
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…
cs.PL2011★ 4 cited
Improvements for Free
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…