On Friday, Oct 04, 2002, at 11:43AM, isaac gouy <[EMAIL PROTECTED]> wrote:
>Does anyone know what happened to
>www.mondrian-script.org?
No idea, and I'm webmaster! It apparently disappeared for a short while, but the
server itself was up, running, and happily humming to itself (didn't have an
Massey Functional Programming Workshop 1994
January 12 - 14, 1994
Call for Participation & Papers
The second Massey Functional Programming Workshop will be held at
Massey University, Palmerston North, New Zealand from the 12th to 14th
January
The following paper has a section "non-determinism for free", now if
you belive that... :-) Seriously it deals with a model for
concurrently executing purely functional processes with
non-determinism through the communication between the processes. Some
(incomplete - lack of time) semantics exist
The Hope+C existential type is not unsound. With some help from Evan I
decoded your Haskell example, please excuse the reply being in Hope+C
:-)
Heterogenous list of windows in Hope+C (examples here are actually
Massey Hope+C, Hope+C is a moving target - but the type system is as
in Hope+C).
In response to Tony Davies question: Whether continuation & stream I/O
are equally expressive I'm not actually sure, I have been told they're
not & that continuation is more so - but I don't know they argument,
however certain things are definitely a LOT easier using continuations
so they certainl
