Talk:Deforestation (computer science)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Flattening[edit]

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)[reply]