I suppose it would be really elegant if we could define a new net
monad(?) which allows us to reason generally about computations
with different expiration times, but that goes far beyond my
expertise.
See the following paper on "service combinators"...
http://research.microsoft.com/research/cambridge/luca/Papers/ServiceCombinators.ps
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 503-533-3365 Fax 503-629-8556
Gemstone Systems, Inc http://www.gemstone.com
- Re: GHC/Hugs Status (was Re: simple interface to web... Alastair Reid
- Re: GHC/Hugs Status (was Re: simple interface to web... S. Alexander Jacobson
- Re: GHC/Hugs Status (was Re: simple interface to web... S. Alexander Jacobson
- Re: GHC/Hugs Status (was Re: simple interface to web... Fergus Henderson
- Re: GHC/Hugs Status (was Re: simple interface to web... Alastair Reid
- Re: GHC/Hugs Status (was Re: simple interface to web... S. Alexander Jacobson
- Re: GHC/Hugs Status (was Re: simple interface to web... S. Alexander Jacobson
- Re: GHC/Hugs Status (was Re: simple interface to web... Erik Meijer
- Re: GHC/Hugs Status (was Re: simple interface to web... S. Alexander Jacobson
- Re: GHC/Hugs Status (was Re: simple interface to web... Patrick Logan
- Re: GHC/Hugs Status (was Re: simple interface to web... Patrick Logan
- Re: GHC/Hugs Status (was Re: simple interface to web... Jon . Fairbairn
- Re: GHC/Hugs Status (was Re: simple interface to web... Fergus Henderson
- Re: GHC/Hugs Status (was Re: simple interface to web... S. Alexander Jacobson
- Re: GHC/Hugs Status (was Re: simple interface to web... Simon L Peyton Jones
- Re: GHC/Hugs Status (was Re: simple interface to web... Erik Meijer
- Re: GHC/Hugs Status (was Re: simple interface to web... Erik Meijer
