Fine Control of Demand in Haskell

@inproceedings{Harrison2002FineCO,
  title={Fine Control of Demand in Haskell},
  author={William L. Harrison and Tim Sheard and James Hook},
  booktitle={MPC},
  year={2002}
}
Functional languages have the λ-calculus at their core, but then depart from this firm foundation by including features that alter their default evaluation order. The resulting mixed evaluation—partly lazy and partly strict—complicates the formal semantics of these languages. The functional language Haskell is such a language, with features such as pattern-matching, case expressions with guards, etc., introducing a modicum of strictness into the otherwise lazy language. But just how does… CONTINUE READING
14 Citations
18 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…