The dual of substitution is redecoration, in Trends in Functional Programming 3, edited by (2002)

by T Uustalu, V Vene