The dual of substitution is redecoration (2002)

by T Uustalu, V Vene
Venue:Trends in Functional Programming 3