4 ms·
The linked paper by Wadler (https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf) develops many mor
by solidsnack9000 9y ago
The linked paper by Wadler (https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf) develops many more examples like this (e.g. "Figure 1: Examples of theorems from types").