Wed May 13 11:06:48 CEST 2009

full lazyness

On page 55 of [1] "full lazyness" is defined as giving each term
minimal scope.  Then it is remarked that:

  It is possible to achieve full laziness in a lazy language by
  transforming the syntactic representation of functions so that the
  scope of every function is minimal.

[1] http://thyer.name/phd-thesis/