Type-inference based deforestation of functional programs

Abstract

In lazy functional programming modularity is often achieved by using intermediate data structures to combine separate parts of a program. Each intermediate data structure is produced by one part and consumed by another one. Deforestation optimises a functional program by transformation into a program which does not produce such intermediate data structures… (More)

11 Figures and Tables

Topics

  • Presentations referencing similar topics