Type-theoretic design patterns.

Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson

Browse the full ICFP paper archive.