Control structures from types. ftp://santos.doc.ic.ac.uk/pub/papers/R.Paterson/folds.dvi.gz (1994)

by Ross Paterson