Generic downwards accumulations

Jeremy Gibbons. Generic downwards accumulations. Science of Computer Programming, 37(1-3):37-65, 2000.

Abstract

Abstract is missing.