Re: Monads and Linear Logic

1997-09-09 Thread S. Doaitse Swierstra
At 8:08 PM 9/3/97, Patrick Logan wrote: I am stretching my imperative brain cells to comprehend(!) monads, and now their relationship to linear ("unique" in Clean) objects. I have glanced at Philip Wadler's paper, but the semantics are impenetrable to me at this point, and I am looking at the

Announcing TkGofer Version 2.0

1997-09-09 Thread Koen Claessen
We are pleased to announce the official 2.0 release of TkGofer. TkGofer is a library (a prelude file) of functions for writing graphical user interfaces in the functional language Gofer. The new version 2.0 includes: - A limited but useful form of concurrency. The functions and types

IEEE Expert - Reminder

1997-09-09 Thread Alberto Broggi
R E M I N D E R The deadline for submitting tutorials or surveys proposals is approaching. Please help distributing this announcement, Best Regards, Alberto Broggi