V.: Generalizing the augment combinator (2006)

by N Ghani, T Uustalu, Vene
Venue:Trends in Functional Programming