Interactive Functional Programs: a Method and a Formal Semantics

In this paper we present a model of interactive programs in a purely

as lazy lists. We show how programs may be constructed in an ad hoc

form the basis for a disciplined approach to writing such programs.

input and output are interleaved by the functions can be unpredictable.

behaviour, to explain the interleaving of input and output, and give a

claim that the combinators have the intuitively expected behaviour, and

finally contrast our approach with another.