Talk:Deforestation (computer science)

Flattening
During 1960-1990 we called this flattening. Did Wadler intend some distinction here, or did he merely prefer his term over the existing one? Vaughan Pratt (talk) 19:40, 7 May 2020 (UTC)