BibTeX entry:

@InProceedings{HerLe98a,
 author       = "Christoph Armin Herrmann and Christian Lengauer",
 title        = "Size Inference of Nested Lists in Functional Programs",
 booktitle    = "Proceedings of the 10th International Workshop on
	         Implementation of Functional Languages",
 pages        = "347--364",
 editor       = "Kevin Hammond and Tony Davie and Chris Clack",
 year         = "1998",
 organization = "University College, London",
 keywords     = "size inference, Haskell, parallelization, skeleton, 
                 divide-and-conquer",
 abstract     = "We propose a method for the static derivation of symbolic size
                 information about the length of nested lists in functional
                 programs. This work facilitates reasoning about the index 
                 space of a nested list structure which is more flexible than 
                 the hypercubic index space of an array and also more flexible
                 than the polytopic index space of an affine loop nest.
                 Our interest in size inference stems from the desire to 
                 optimize target code which is generated in a program 
                 parallelization. Each nesting level of the list structure is 
                 represented by a size expression which is parametrized by its
                 enclosing indices.",
 url          = "http://www.infosun.fim.uni-passau.de/cl/papers/HerLe98a.ps"
 }

Paper itself (revised):

Authors:

Cross links:

Christoph Herrmann