Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site watmath.UUCP
Path: utzoo!watmath!mwang
From: mwang@watmath.UUCP (mwang)
Newsgroups: ont.events
Subject: UW Systems Sem., Mr. Redelmeier on "Interactive Functional Programs."
Message-ID: <6868@watmath.UUCP>
Date: Fri, 10-Feb-84 13:40:06 EST
Article-I.D.: watmath.6868
Posted: Fri Feb 10 13:40:06 1984
Date-Received: Sat, 11-Feb-84 08:58:44 EST
Expires: Sat, 18-Feb-84 00:00:00 EST
Organization: U of Waterloo, Ontario
Lines: 30


_D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E
_U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O
_S_E_M_I_N_A_R _A_C_T_I_V_I_T_I_E_S

_S_Y_S_T_E_M_S _S_E_M_I_N_A_R
                           -  Friday, February 17, 1984.

Mr. H. Redelmeier of the  University  of  Toronto  will
speak on ``Interactive Functional Programs.''

TIME:                2:30 PM  (Please Note)

ROOM:              MC 5158

ABSTRACT

Some programs must be able to  interact,  that  is,  be
able  to  interleave input and output operations.  Con-
sider, for example, how a text editor must be  able  to
reply  to  each  command before requiring the next com-
mand.  Interactive behaviour  cannot  be  described  in
most  functional languages.  Previous techniques to en-
able interaction, such as ``lazy  evaluation''  destroy
some  of  the  elegance  and simplicity of a functional
language.  We propose a new  technique  that  preserves
the advantages of functional languages.

                   February 10, 1984